]> git.lizzy.rs Git - rust.git/history - crates/ra_hir/src/ty/traits/chalk.rs
Merge #1677
[rust.git] / crates / ra_hir / src / ty / traits / chalk.rs
2019-08-12 bors[bot]Merge #1677
2019-08-12 Florian DieboldHandle placeholder assoc types when Chalk produces...
2019-08-12 Florian DieboldNormalize associated types during inference
2019-08-12 Florian DieboldAdd representations of associated types
2019-07-15 bors[bot]Merge #1532
2019-07-15 Florian DieboldRemove blacklist, instead mark `Sized` as non-enumerable
2019-07-14 Florian DieboldCargo update, including updating Chalk
2019-07-14 Florian DieboldSome renamings for clarity
2019-07-09 bors[bot]Merge #1515
2019-07-08 Florian DieboldUnify `normalize` and `implements` to simplify code
2019-07-08 Florian DieboldUse environment for associated type normalization as...
2019-07-08 Florian DieboldStart handling environment in trait resolution
2019-07-08 Florian DieboldRefactor a bit & introduce Environment struct
2019-07-07 bors[bot]Merge #1499
2019-07-06 bors[bot]Merge #1496
2019-07-06 Florian DieboldMake EnumVariant a GenericDef and simplify some code
2019-07-04 bors[bot]Merge #1485
2019-07-04 bors[bot]Merge #1486
2019-07-04 Aleksey Kladovallow rustfmt to reorder imports
2019-06-28 bors[bot]Merge #1440
2019-06-26 bors[bot]Merge #1443
2019-06-26 Aleksey Kladovcache chalk queries
2019-06-16 bors[bot]Merge #1409
2019-06-16 bors[bot]Merge #1408
2019-06-15 Florian DieboldSome more cleanup
2019-06-15 Florian DieboldAdd basic infrastructure for assoc type projection
2019-06-06 bors[bot]Merge #1377
2019-06-04 bors[bot]Merge #1374
2019-06-04 Alan DuFix clippy::single_match
2019-05-13 bors[bot]Merge #1257
2019-05-12 bors[bot]Merge #1266
2019-05-12 Florian DieboldBlacklist some traits from being considered in where...
2019-05-12 bors[bot]Merge #1265
2019-05-12 bors[bot]Merge #1262
2019-05-11 Florian DieboldHandle auto traits & negative impls
2019-05-11 Florian DieboldReduce Chalk max_size parameter, add test for slow...
2019-05-11 Florian DieboldHandle Chalk conversion for FnDef
2019-05-11 Florian DieboldHandle resolution errors in where clauses
2019-05-11 Florian DieboldHandle where clauses in trait solving
2019-05-04 bors[bot]Merge #1208
2019-05-04 bors[bot]Merge #1216
2019-05-04 Florian DieboldDifferentiate Tuple / FnPtr type constructors by cardin...
2019-05-04 Florian DieboldHandle recursive types in canonicalization
2019-05-04 Florian DieboldRemove ToChalk implementation for ApplicationTy
2019-05-04 Florian DieboldUpdate Chalk
2019-05-04 Florian DieboldTurn eprintln!s into debug!s
2019-05-04 Florian DieboldHandle Ty::Unknown in Chalk conversion
2019-05-04 Florian DieboldCanonicalize before doing method resolution
2019-05-04 Florian DieboldMove Chalk conversion code to its own module