self type is incorrect w/r/t region parameter

[nikomatsakis]

In fixup_self_param(), we check that the TPS for the self type are the same but not the region parameter.

[nikomatsakis]

now that self types are not higher-kinded, this is no longer an issue