projects / rust.git / search
| 2020-08-13 | Bastian Kauschke | merge `as_local_hir_id` with `local_def_id_to_hir_id` |
commit | commitdiff | tree |
| 2020-07-27 | Bastian Kauschke | clippy |
commit | commitdiff | tree |
| 2020-07-27 | Bastian Kauschke | introduce PredicateAtom |
commit | commitdiff | tree |
| 2020-07-27 | Bastian Kauschke | this might be unqualified, but at least it's now quantified |
commit | commitdiff | tree |
| 2020-07-27 | Bastian Kauschke | clippy |
commit | commitdiff | tree |
| 2020-07-15 | Bastian Kauschke | WithOptConstParam::dummy -> WithOptConstParam::unknown |
commit | commitdiff | tree |
| 2020-07-15 | Bastian Kauschke | improve naming |
commit | commitdiff | tree |
| 2020-07-15 | Bastian Kauschke | const_eval_resolve |
commit | commitdiff | tree |
| 2020-05-23 | Bastian Kauschke | iterate List by value |
commit | commitdiff | tree |
| 2020-05-20 | Bastian Kauschke | introduce newtype'd `Predicate<'tcx>` |
commit | commitdiff | tree |
| 2020-05-20 | Bastian Kauschke | rename `Predicate` to `PredicateKind`, introduce alias |
commit | commitdiff | tree |