Make sure, calling extension methods on the types/modules which have ObsoleteAttribute on them generate appropriate warning. **Update**: probably also makes sense to verify what C# does.