Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 1 | -2/+3 |
* | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 1 | -7/+7 |
* | Merge #8020 | bors[bot] | 2021-03-15 | 1 | -1/+9 |
|\ | |||||
| * | Speedup trait impl search for goto_implementation | Lukas Wirth | 2021-03-15 | 1 | -1/+9 |
* | | Don't use Substs for Ref/Raw/Array/Slice | Florian Diebold | 2021-03-14 | 1 | -4/+2 |
|/ | |||||
* | Use chalk_ir::ForeignDefId | Florian Diebold | 2021-03-13 | 1 | -6/+9 |
* | Separate `Ty` and `TyKind` like in Chalk | Florian Diebold | 2021-03-13 | 1 | -35/+41 |
* | Use Chalk Environment more directly | Florian Diebold | 2021-03-12 | 1 | -2/+1 |
* | Delete `ContainerId` | Jonas Schievink | 2021-03-09 | 1 | -1/+1 |
* | Stop using `ContainerId` in `AssocContainerId` | Jonas Schievink | 2021-03-09 | 1 | -1/+1 |
* | Use upstream cov-mark | Laurențiu Nicola | 2021-03-08 | 1 | -1/+1 |
* | Use chalk_ir::AdtId | Lukas Wirth | 2021-03-04 | 1 | -7/+7 |
* | Use chalk_ir::Mutability | Lukas Wirth | 2021-03-01 | 1 | -4/+5 |
* | Introduce Ty::Alias | Lukas Wirth | 2021-03-01 | 1 | -4/+4 |
* | Being Ty::InferenceVar closes to chalk equivalent | Lukas Wirth | 2021-03-01 | 1 | -3/+3 |
* | Lift FnPointer into a struct | Lukas Wirth | 2021-02-28 | 1 | -6/+4 |
* | Remove Substs from Ty::ForeignType | Lukas Wirth | 2021-02-28 | 1 | -1/+1 |
* | Turn Ty::Tuple variant into a tuple-variant | Lukas Wirth | 2021-02-28 | 1 | -2/+2 |
* | Inline TypeCtor into Ty | Lukas Wirth | 2021-02-28 | 1 | -55/+71 |
* | Use chalk_ir::Scalar directly | Lukas Wirth | 2021-02-28 | 1 | -3/+7 |
* | Introduce TypeCtor::Scalar | Lukas Wirth | 2021-02-28 | 1 | -64/+26 |
* | Check for dyn impls in method resolution | Lukas Wirth | 2021-02-08 | 1 | -11/+16 |
* | Make `ModuleId`'s `krate` field private | Jonas Schievink | 2021-01-22 | 1 | -3/+3 |
* | Make public DefMap fields private | Jonas Schievink | 2021-01-20 | 1 | -2/+2 |
* | Use correct, full substs for self type in impl | Florian Diebold | 2020-12-04 | 1 | -1/+7 |
* | Fix case where non FnOnce variables is marked callable | GrayJack | 2020-10-26 | 1 | -0/+13 |
* | Use Ty::apply instead of simple and fix method resolution. | Charles Lew | 2020-09-16 | 1 | -0/+8 |
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+769 |