projects / rust.git / search
| 2022-09-23 | b-naber | rename Unevaluated to UnevaluatedConst |
commit | commitdiff | tree |
| 2022-09-22 | b-naber | introduce mir::Unevaluated |
commit | commitdiff | tree |
| 2022-06-14 | b-naber | fix wrong evaluation in clippy |
commit | commitdiff | tree |
| 2022-06-14 | b-naber | address review |
commit | commitdiff | tree |
| 2022-06-14 | b-naber | fix clippy test failures |
commit | commitdiff | tree |
| 2022-06-14 | b-naber | implement valtrees as the type-system representation... |
commit | commitdiff | tree |
| 2022-04-06 | b-naber | get rid of visit_constant in thir visitor |
commit | commitdiff | tree |
| 2022-04-02 | b-naber | rebase and use ty::Const in patterns again |
commit | commitdiff | tree |