I'm not exactly sure what this piece of code does - but it feels like this change could lead to some problems, unless the new metadata reader reports things differently than the old one. Could you please check this?

(I assume this has something to do with generic extension methods defined using the F# style `type Foo<'T> with ...`?