now checks for invalid method type parameters when typesig is called