This makes sure native methods and properties have the actual type checked to compare for compatibility and inference.