From the work week discussion about rooting safety, one problem that was discussed was dealing with generic types. It was proposed that a MIR lint would be safer than the current lints, because MIR lints run on monomorphized types. My understanding was that @Manishearth and @nikomatsakis were interested in making this happen.