Commit message (Collapse) | 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 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | 8020: Power up goto_implementation r=matklad a=Veykril by allowing it to be invoked on references of names, now showing all (trait) implementations of the given type in all crates instead of just the defining crate as well as including support for builtin types ![image](https://user-images.githubusercontent.com/3757771/111144403-52bb0700-8587-11eb-9205-7a2a5b8b75a3.png) Example screenshot of `impl`s of Box in `log`, `alloc`, `std` and the current crate. Before you had to invoke it on the definition where it would only show the `impls` in `alloc`. Co-authored-by: Lukas Wirth <[email protected]> | ||||
| * | 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 |
| | | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`. | ||||
* | 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 |
| | | | | | | | | 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 |