| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2021-04-28 | Add HAS_RE_LATE_BOUND if there are bound vars | Jack Huey | -0/+4 |
| 2021-03-31 | Add tcx lifetime to Binder | Jack Huey | -3/+3 |
| 2021-03-20 | extract `ConstKind::Unevaluated` into a struct | lcnr | -4/+6 |
| 2021-01-16 | Review changes | Jack Huey | -14/+14 |
| 2021-01-16 | Cleanup | Jack Huey | -3/+3 |
| 2021-01-16 | Remove PredicateKind | Jack Huey | -3/+2 |
| 2021-01-16 | Intermediate formatting and such | Jack Huey | -7/+2 |
| 2021-01-16 | Remove PredicateKind::Atom | Jack Huey | -1/+0 |
| 2020-12-11 | Move binder for dyn to each list item | Jack Huey | -12/+8 |
| 2020-09-18 | guard against `skip_binder` errors during FlagComputation | Bastian Kauschke | -34/+32 |
| 2020-09-18 | fix flag computation for `ExistentialPredicate::Projection` | Bastian Kauschke | -3/+1 |
| 2020-09-09 | Remove def_id field from ParamEnv | Bram van den Heuvel | -0/+3 |
| 2020-09-04 | ty.flags -> ty.flags() | LeSeulArtichaut | -1/+1 |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+330 |
