... if this type has no contrained methods of the given type(s) but never ...