Arbitrary nonsense attributes can be added to type extensions

[cartermp]

Consider the following:

open System

[<Hello.my.name.is.Don.Syme>]
type String with
    member this.Doot() = this.Length

This should emit an error.

[dsyme]

Yup

[KevinRansom]

@cartermp, @dsyme.

Theoretically this is a breaking change. Given that the attributes are garbage, we should be prepared to tell developers to fix their code. If they see the error.

Kevin

[cartermp]

Agreed