Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Minor clippy perf fixes | Laurențiu Nicola | 2021-06-18 | 1 | -4/+6 |
* | Nest all the or-patterns! | Lukas Wirth | 2021-06-17 | 1 | -9/+7 |
* | cargo fmt | Maan2003 | 2021-06-13 | 1 | -7/+1 |
* | clippy::redudant_borrow | Maan2003 | 2021-06-13 | 1 | -6/+6 |
* | Fix coercion in match with expected type | Florian Diebold | 2021-06-12 | 1 | -1/+6 |
* | hir_ty: use correct receiver_ty in method resolution | cynecx | 2021-05-31 | 1 | -11/+2 |
* | Update salsa | Jonas Schievink | 2021-05-27 | 1 | -1/+1 |
* | Merge #9007 | bors[bot] | 2021-05-26 | 1 | -6/+5 |
|\ | |||||
| * | clippy::redundant_clone fixes | Laurențiu Nicola | 2021-05-26 | 1 | -6/+5 |
* | | Fix type mismatch caused by macros | Florian Diebold | 2021-05-25 | 1 | -1/+1 |
|/ | |||||
* | Record method call substs and use them in call info | Florian Diebold | 2021-05-23 | 1 | -16/+18 |
* | Record type mismatches for failed coercions in match etc. | Florian Diebold | 2021-05-21 | 1 | -10/+12 |
* | Refactor expectation handling | Florian Diebold | 2021-05-21 | 1 | -30/+49 |
* | Get rid of resolve_ty_as_possible | Florian Diebold | 2021-05-21 | 1 | -13/+15 |
* | Rework obligation handling | Florian Diebold | 2021-05-21 | 1 | -3/+3 |
* | Fix if/else coercion | Florian Diebold | 2021-05-21 | 1 | -1/+4 |
* | Remove our unification code, use Chalk's instead | Florian Diebold | 2021-05-21 | 1 | -6/+6 |
* | internal: Record mismatches of pattern types. | Dawer | 2021-05-19 | 1 | -4/+5 |
* | Address final feedback | Jade | 2021-05-16 | 1 | -3/+2 |
* | Add more tests, refactor array lengths/consteval work | Jade | 2021-05-14 | 1 | -33/+8 |
* | Add support for lengths in array repeats, if they are literals | Jade | 2021-05-13 | 1 | -6/+16 |
* | Support length for ByteStrings | Jade | 2021-05-13 | 1 | -6/+14 |
* | Add lowering of array lengths in types | Jade | 2021-05-13 | 1 | -4/+4 |
* | Merge #8799 | bors[bot] | 2021-05-12 | 1 | -6/+20 |
|\ | |||||
| * | address review by @eddyb | Jade | 2021-05-11 | 1 | -1/+1 |
| * | Add basic support for array lengths in types | Jade | 2021-05-11 | 1 | -6/+20 |
* | | Fix inference with conditionally compiled tails | Daniel McNab | 2021-05-03 | 1 | -1/+1 |
|/ | |||||
* | Move ToChalk -> mapping | Florian Diebold | 2021-04-09 | 1 | -1/+1 |
* | Reorganize hir_ty modules | Florian Diebold | 2021-04-09 | 1 | -1/+2 |
* | Cleanup | Florian Diebold | 2021-04-08 | 1 | -1/+5 |
* | Intern Substitutions | Florian Diebold | 2021-04-08 | 1 | -1/+1 |
* | Remove unused | Florian Diebold | 2021-04-08 | 1 | -1/+0 |
* | Fix shifted_{in,out} calls | Florian Diebold | 2021-04-08 | 1 | -1/+1 |
* | Remove Ty::substs{_mut} | Florian Diebold | 2021-04-07 | 1 | -1/+4 |
* | infer: remove `record_field_resolutions` field | Jonas Schievink | 2021-04-06 | 1 | -5/+2 |
* | Merge #8364 | bors[bot] | 2021-04-06 | 1 | -2/+8 |
|\ | |||||
| * | Use Box'es to reduce size of hir_def::expr::Expr from 128 to 72 bytes (on 64b... | Alexandru Macovei | 2021-04-06 | 1 | -2/+8 |
* | | Move Ty accessors to TyExt | Lukas Wirth | 2021-04-06 | 1 | -1/+2 |
* | | Add chalk_ir::Const to TyKind::Array | Lukas Wirth | 2021-04-06 | 1 | -4/+5 |
* | | Use a constructor function for Static lifetimes | Lukas Wirth | 2021-04-06 | 1 | -13/+8 |
* | | Add Lifetime to TyKind::Ref | Lukas Wirth | 2021-04-06 | 1 | -7/+15 |
|/ | |||||
* | Fix shifting of binders in FnPointer | Florian Diebold | 2021-04-05 | 1 | -2/+4 |
* | Align FnPointer with Chalk | Florian Diebold | 2021-04-05 | 1 | -4/+4 |
* | Substitution::prefix -> subst_prefix | Florian Diebold | 2021-04-05 | 1 | -2/+4 |
* | Substitution::single -> from1 | Florian Diebold | 2021-04-05 | 1 | -2/+4 |
* | Move ProjectionTy methods to extension trait | Florian Diebold | 2021-04-05 | 1 | -2/+2 |
* | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 1 | -6/+8 |
* | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 1 | -5/+5 |
* | Use VariableKinds in Binders | Florian Diebold | 2021-04-05 | 1 | -2/+2 |
* | Move things from `traits` module to `types` as well | Florian Diebold | 2021-04-04 | 1 | -3/+3 |