| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-11-24 | Move `BoundTy` debruijn index to the `TyKind` enum variant | scalexm | -8/+11 |
| 2018-11-24 | Introduce `TyKind::Placeholder` variant | scalexm | -0/+1 |
| 2018-11-13 | Bypass ppaux for `Outlives` predicates | scalexm | -1/+1 |
| 2018-11-13 | Provide program clauses for builtin types | scalexm | -0/+476 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |