Support references to foreign types

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification

Apache License 2.0

79 stars 14 forks source link

Closed Nadrieril closed 1 month ago

Nadrieril commented 1 month ago

This was breaking eurydice

Nadrieril commented 1 month ago

I integrated that into https://github.com/AeneasVerif/charon/pull/308 to save me one all-projects update.