In the analyzer, calls to override methods are represented as such (instead of being seen as calls to the base virtual like in IL most of the time). This creates problems for intrinsics which are virtual - it means the intrinsic handling doesn't kick in for overrides of virtual intrinsic methods. It's unclear to me whether it should, because overrides might not satisfy the contract that is assumed by the intrinsic handling.

This produces a warning in runtime on

Here, BaseType is getting called not on Type, but on RuntimeTypeInfo which is derived from Type.

Parent Item

• https://github.com/sbomer/wip-tracker/issues/10 (Copilot PR Backlog)