추론된 타입이 매개변수의 필요한 타입과 일치하지 않는 디폴트 메서드 및 블록 매개변수 대입을 보고합니다. 필요한 매개변수 타입을 RBS 타입 시그니처에서 가져옵니다.