[선택] 함수가 클래스 참조의 데이터 값 참조 원소 읽기/쓰기 경계 노드 쌍 사이의 경로에 놓여있습니다. 이 함수의 클래스 입력인 t 및 f 입력은 반드시 원래 클래스 데이터를 일부 수정한 것이어야 합니다. 이 함수의 입력 중 하나로 들어오는 클래스는 다른 소스에서 시작되었거나 런타임 타입 보존을 보장하지 않는 함수를 통과하여 전달됩니다.

이 에러를 수정하려면 [선택] 함수로 연결되는 양쪽 클래스 입력의 데이터 경로를 추적합니다. 적어도 하나 이상의 클래스 입력이 데이터 값 참조 원소 읽기 경계 노드에서 시작하지 않습니다. 이 에러를 수정하려면 모든 경로가 런타임 타입을 보존하도록 하면 됩니다.