Normalize associated types that appear in bounds on the method being invoked