Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | | | | | | | | Without arbitrary self types, the self type could never refer to the method type parameters, so this wasn't a problem; but with arbitrary self types, it can. This fixes the crash from #6668; but it doesn't make method resolution work for these methods. | ||||
* | 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 |