Don't hide marker traits by default

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification

Apache License 2.0

79 stars 14 forks source link

Don't hide marker traits by default #341

Closed Nadrieril closed 4 weeks ago

Nadrieril commented 4 weeks ago

By default in charon we hide some marker traits (such as Sized) from the output, to avoid unnecessary noise. This PR makes it an option; by default all traits are translated.