기사 제목만 보면 C->Rust 번역이 다 되는 것 처럼 오해하기 쉬운데, 위 기사 내용도, 다른 기사에서도, union 변환만 언급되는 것 같네요.

(위 기사)
"연구팀은 기존 C언어의 유니언을 러스트 코드로 번역하는 기술을 개발했다."
"연구팀은 '완전 자동 번역' 단계에 이르기 위한 후속 연구를 진행할 계획이다."

(다른 기사)
"KAIST(총장 이광형)는 전산학부 류석영 교수 연구팀(프로그래밍 언어 연구실)이 C언어의 유니언(union)*을 러스트의 태그드 유니언(tagged union)으로 변환하는 기술을 세계 최초로 개발했다고 13일 밝혔다."
https://www.lecturernews.com/news/articleView.html?idxno=158865