| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | Fix retrieval of the Fn traits | Florian Diebold | 2019-09-25 | 1 | -3/+2 |
* | 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 |
* | 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 |
* | Fix Chalk environments | Florian Diebold | 2019-09-07 | 1 | -1/+2 |
* | 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 |
* | 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 |
* | Handle placeholder assoc types when Chalk produces them | Florian Diebold | 2019-08-12 | 1 | -3/+18 |
* | Normalize associated types during inference | Florian Diebold | 2019-08-12 | 1 | -3/+4 |
* | Add representations of associated types | Florian Diebold | 2019-08-12 | 1 | -0/+23 |
* | Remove blacklist, instead mark `Sized` as non-enumerable | Florian Diebold | 2019-07-15 | 1 | -17/+3 |
* | Cargo update, including updating Chalk | Florian Diebold | 2019-07-14 | 1 | -0/+2 |
* | Some renamings for clarity | Florian Diebold | 2019-07-14 | 1 | -2/+2 |
* | Unify `normalize` and `implements` to simplify code | Florian Diebold | 2019-07-08 | 1 | -1/+16 |
* | Use environment for associated type normalization as well | Florian Diebold | 2019-07-08 | 1 | -0/+15 |
* | Start handling environment in trait resolution | Florian Diebold | 2019-07-08 | 1 | -3/+16 |
* | Refactor a bit & introduce Environment struct | Florian Diebold | 2019-07-08 | 1 | -1/+55 |
* | Make EnumVariant a GenericDef and simplify some code | Florian Diebold | 2019-07-06 | 1 | -5/+1 |
* | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 1 | -7/+12 |
* | cache chalk queries | Aleksey Kladov | 2019-06-26 | 1 | -193/+219 |
* | Some more cleanup | Florian Diebold | 2019-06-15 | 1 | -4/+4 |
* | Add basic infrastructure for assoc type projection | Florian Diebold | 2019-06-15 | 1 | -8/+102 |
* | Fix clippy::single_match | Alan Du | 2019-06-04 | 1 | -6/+3 |
* | Blacklist some traits from being considered in where clauses | Florian Diebold | 2019-05-12 | 1 | -1/+28 |
* | Handle auto traits & negative impls | Florian Diebold | 2019-05-11 | 1 | -5/+19 |
* | Reduce Chalk max_size parameter, add test for slow case | Florian Diebold | 2019-05-11 | 1 | -2/+5 |
* | Handle Chalk conversion for FnDef | Florian Diebold | 2019-05-11 | 1 | -2/+25 |
* | Handle resolution errors in where clauses | Florian Diebold | 2019-05-11 | 1 | -15/+41 |
* | Handle where clauses in trait solving | Florian Diebold | 2019-05-11 | 1 | -13/+55 |
* | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 1 | -1/+3 |
* | Handle recursive types in canonicalization | Florian Diebold | 2019-05-04 | 1 | -1/+1 |
* | Remove ToChalk implementation for ApplicationTy | Florian Diebold | 2019-05-04 | 1 | -29/+16 |
* | Update Chalk | Florian Diebold | 2019-05-04 | 1 | -4/+13 |
* | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 1 | -6/+9 |
* | Handle Ty::Unknown in Chalk conversion | Florian Diebold | 2019-05-04 | 1 | -1/+5 |
* | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 1 | -6/+7 |
* | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 1 | -0/+327 |