Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move Ty | Aleksey Kladov | 2019-11-27 | 1 | -906/+0 |
| | |||||
* | Decouple | Aleksey Kladov | 2019-11-27 | 1 | -22/+30 |
| | |||||
* | Decouple | Aleksey Kladov | 2019-11-27 | 1 | -1/+1 |
| | |||||
* | Decouple | Aleksey Kladov | 2019-11-27 | 1 | -15/+25 |
| | |||||
* | Crate -> CrateId | Aleksey Kladov | 2019-11-27 | 1 | -15/+20 |
| | |||||
* | Decouple | Aleksey Kladov | 2019-11-26 | 1 | -1/+1 |
| | |||||
* | Remove ns-polymorphic type_for_def | Aleksey Kladov | 2019-11-26 | 1 | -1/+1 |
| | |||||
* | Use TraitId in TraitRef | Aleksey Kladov | 2019-11-26 | 1 | -27/+23 |
| | |||||
* | Remove assoc_type_by_name helper | Aleksey Kladov | 2019-11-26 | 1 | -16/+17 |
| | |||||
* | Use TypeAliasId in Ty, pt 2 | Aleksey Kladov | 2019-11-25 | 1 | -22/+12 |
| | |||||
* | Use TypeAliasId in Ty, pt 1 | Aleksey Kladov | 2019-11-25 | 1 | -1/+13 |
| | |||||
* | Use GenericDefIdMore | Aleksey Kladov | 2019-11-25 | 1 | -1/+1 |
| | |||||
* | Use GenericDefId more | Aleksey Kladov | 2019-11-25 | 1 | -5/+5 |
| | |||||
* | Simplify | Aleksey Kladov | 2019-11-24 | 1 | -3/+3 |
| | |||||
* | Remove ids module | Aleksey Kladov | 2019-11-24 | 1 | -9/+9 |
| | |||||
* | Move lang_items to hir_def | Aleksey Kladov | 2019-11-23 | 1 | -2/+3 |
| | |||||
* | Remove old hir::generics module | Aleksey Kladov | 2019-11-21 | 1 | -7/+6 |
| | |||||
* | Upgrade Chalk again | Florian Diebold | 2019-11-16 | 1 | -16/+16 |
| | |||||
* | Use Chalk's dyn/impl trait support | Florian Diebold | 2019-11-16 | 1 | -2/+9 |
| | |||||
* | Upgrade Chalk | Florian Diebold | 2019-11-16 | 1 | -107/+179 |
| | | | | | Associated type values (in impls) are now a separate entity in Chalk, so we have to intern separate IDs for them. | ||||
* | Remove old impls infrastructure | Aleksey Kladov | 2019-11-15 | 1 | -3/+3 |
| | |||||
* | Move body queries to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -2/+2 |
| | |||||
* | Minor cleanup | Aleksey Kladov | 2019-11-12 | 1 | -1/+1 |
| | |||||
* | Don't reexport generics from HIR | Aleksey Kladov | 2019-11-11 | 1 | -2/+2 |
| | |||||
* | Move Namespace enum closer to usage | Aleksey Kladov | 2019-11-04 | 1 | -2/+5 |
| | |||||
* | push name down to hir_expand | Aleksey Kladov | 2019-10-30 | 1 | -1/+2 |
| | |||||
* | remove forward pointer for name | Aleksey Kladov | 2019-10-30 | 1 | -1/+2 |
| | |||||
* | Move ids to hir_def crate | Aleksey Kladov | 2019-10-30 | 1 | -29/+5 |
| | |||||
* | introduce ra_hir_def | Aleksey Kladov | 2019-10-30 | 1 | -2/+2 |
| | |||||
* | Upgrade Chalk, make use of TypeName::Error variant | Florian Diebold | 2019-10-29 | 1 | -8/+7 |
| | |||||
* | Upgrade Chalk (without using its dyn/impl Trait support) | Florian Diebold | 2019-10-26 | 1 | -40/+70 |
| | |||||
* | `.collect()` directly into `Arc<[T]>` | Shotaro Yamada | 2019-10-14 | 1 | -2/+1 |
| | |||||
* | Chalk update to simplified IR | kjeremy | 2019-10-10 | 1 | -24/+34 |
| | |||||
* | Add SubstsBuilder | Florian Diebold | 2019-09-26 | 1 | -61/+19 |
| | | | | + further refactoring. | ||||
* | Fix retrieval of the Fn traits | Florian Diebold | 2019-09-25 | 1 | -3/+2 |
| | | | | | I used the wrong query, so it only used the lang items from the respective crate... | ||||
* | Implement the call argument checking order hack for closures | Florian Diebold | 2019-09-24 | 1 | -2/+2 |
| | |||||
* | Make closures impl closure traits | Florian Diebold | 2019-09-24 | 1 | -10/+122 |
| | |||||
* | Give closures types | Florian Diebold | 2019-09-24 | 1 | -0/+4 |
| | |||||
* | Upgrade Chalk again | Florian Diebold | 2019-09-24 | 1 | -3/+6 |
| | |||||
* | Upgrade Chalk | Florian Diebold | 2019-09-23 | 1 | -4/+6 |
| | |||||
* | Handle projection types from Chalk | Florian Diebold | 2019-09-22 | 1 | -1/+5 |
| | |||||
* | Remove TraitItem and ImplItem in favor of AssocItem | Florian Diebold | 2019-09-17 | 1 | -3/+3 |
| | |||||
* | Upgrade Chalk | Florian Diebold | 2019-09-14 | 1 | -9/+0 |
| | | | | ... and remove Ty::UnselectedProjection. It'll be handled differently. | ||||
* | also make "unknown" case non-enumerable | Niko Matsakis | 2019-09-09 | 1 | -1/+1 |
| | |||||
* | make all traits non-enumerable | Niko Matsakis | 2019-09-09 | 1 | -9/+1 |
| | | | | | As discussed on Zulip, this actually matches the present behavior of rustc. | ||||
* | Fix Chalk environments | Florian Diebold | 2019-09-07 | 1 | -1/+2 |
| | | | | | The clauses need to be wrapped in `FromEnv` clauses for elaboration (i.e. things like inferring `T: Clone` from `T: Copy`) to work correctly. | ||||
* | Lower bounds on trait definition, and resolve assoc types from super traits | Florian Diebold | 2019-09-07 | 1 | -1/+1 |
| | |||||
* | Make type walking infrastructure a bit nicer | Florian Diebold | 2019-09-03 | 1 | -0/+1 |
| | | | | | If/when we switch to using Chalk's Ty, we'll need to replace this by its `Fold` trait, but I didn't want to import the whole thing just yet. | ||||
* | Add support for associated type bindings (`where Trait<Type = X>`) | Florian Diebold | 2019-09-03 | 1 | -0/+7 |
| | |||||
* | Add `impl Trait` and `dyn Trait` types | Florian Diebold | 2019-08-22 | 1 | -1/+3 |
| | | | | | | | - refactor bounds handling in the AST a bit - add HIR for bounds - add `Ty::Dyn` and `Ty::Opaque` variants and lower `dyn Trait` / `impl Trait` syntax to them |