Oli Scherer 6067eadb65 Check that TAIT generics are fully generic in mir typeck instead of wf-check, as wf-check can by definition only check TAIT in return position and not account for TAITs defined in the body of the function

2021-09-23 13:35:16 +00:00

..

src

Check that TAIT generics are fully generic in mir typeck instead of wf-check, as wf-check can by definition only check TAIT in return position and not account for TAITs defined in the body of the function

2021-09-23 13:35:16 +00:00

Cargo.toml

Migrate to 2021

2021-09-20 22:21:42 -04:00