Proposal: Consider structs with explicit local type parameters as local for impl

Sounds like