Closed Nadrieril closed 2 months ago
Companion PR to https://github.com/AeneasVerif/charon/pull/270, which updates rustc to a version with the new annoying host type parameter.
host
Companion PR to https://github.com/AeneasVerif/charon/pull/270, which updates rustc to a version with the new annoying
host
type parameter.