search

rust-lang / a-mir-formality

a model of MIR and the Rust type/trait system
Apache License 2.0
282 stars 33 forks source link

typo: fixed keyword on sample code #162

Closed hackaugusto closed 8 months ago

hackaugusto commented 8 months ago

Just a small fix, the sample for the enum was using the wrong keyword.

oli-obk commented 8 months ago

Thanks!