Under `-enable-library-evolution`, a slight AST difference is still found when importing from .swiftinterface and from .swiftmodule. The difference is whether @objc attribute is inherited by a Swift class subclassing an Objc class.
