Certified Compiler (bis)

I wanted to reply to the Certified Compiler subject, but it is closed. My question is: is there any work being done on formal verification of the Rust Compiler? (analog to CompCert)