]> git.lizzy.rs Git - rust.git/history - crates/hir_ty/src/infer
Merge #8856
[rust.git] / crates / hir_ty / src / infer /
2021-05-21 bors[bot]Merge #8856
2021-05-21 Florian DieboldClean up visibilities
2021-05-21 Florian DieboldSome remaining cleanups
2021-05-21 Florian DieboldRecord type mismatches for failed coercions in match...
2021-05-21 Florian DieboldRefactor expectation handling
2021-05-21 Florian DieboldRemove TypeVariableTable
2021-05-21 Florian DieboldDeal with goals arising from unification
2021-05-21 Florian DieboldGet rid of resolve_ty_as_possible
2021-05-21 Florian DieboldMake resolve_ty_shallow return Ty
2021-05-21 Florian DieboldRework obligation handling
2021-05-21 Florian DieboldFix another panic
2021-05-21 Florian DieboldFix panic
2021-05-21 Florian DieboldFix HIR expecting errors to unify with anything
2021-05-21 Florian DieboldFix if/else coercion
2021-05-21 Florian DieboldMake diverging type variables work again
2021-05-21 Florian DieboldFix handling of diverging branches in match coercion
2021-05-21 Florian DieboldFix coercion of two closures to a function pointer
2021-05-21 Florian DieboldUpdate tests with expected changes
2021-05-21 Florian DieboldMake type resolver a proper folder, make it resolve...
2021-05-21 Florian DieboldFix fallback to bound vars in `unify`
2021-05-21 Florian DieboldTemporary fix for unknown expectations
2021-05-21 Florian DieboldFix warnings & format
2021-05-21 Florian DieboldRewrite coercion using the new unification
2021-05-21 Florian DieboldRemove our unification code, use Chalk's instead
2021-05-20 bors[bot]Merge #8873
2021-05-19 bors[bot]Merge #8884
2021-05-19 bors[bot]Merge #8875
2021-05-19 bors[bot]Merge #8882
2021-05-19 Dawerinternal: Record mismatches of pattern types.
2021-05-18 bors[bot]Merge #8871
2021-05-17 bors[bot]Merge #8795
2021-05-16 bors[bot]Merge #8845
2021-05-16 bors[bot]Merge #8853
2021-05-16 bors[bot]Merge #8813
2021-05-16 JadeAddress final feedback
2021-05-14 bors[bot]Merge #8840
2021-05-14 DawerFix false positive "Missing match arm".
2021-05-14 JadeAdd more tests, refactor array lengths/consteval work
2021-05-13 bors[bot]Merge #8830
2021-05-13 bors[bot]Merge #8822
2021-05-13 bors[bot]Merge #8814
2021-05-13 bors[bot]Merge #8820
2021-05-13 bors[bot]Merge #8823
2021-05-13 JadeAdd support for lengths in array repeats, if they are...
2021-05-13 JadeSupport length for ByteStrings
2021-05-13 JadeAdd lowering of array lengths in types
2021-05-12 bors[bot]Merge #8799
2021-05-12 bors[bot]Merge #8802
2021-05-11 Jadeaddress review by @eddyb
2021-05-11 bors[bot]Merge #8398
2021-05-11 JadeAdd basic support for array lengths in types
2021-05-03 bors[bot]Merge #8482
2021-05-03 bors[bot]Merge #8427
2021-05-03 Daniel McNabFix inference with conditionally compiled tails
2021-04-30 bors[bot]Merge #8695
2021-04-29 bors[bot]Merge #8687
2021-04-29 Comonadfix: closure unify without check ClosureId
2021-04-23 bors[bot]Merge #8317
2021-04-18 bors[bot]Merge #8560
2021-04-13 bors[bot]Merge #8432
2021-04-13 bors[bot]Merge #8354
2021-04-13 bors[bot]Merge #8415
2021-04-10 bors[bot]Merge #8436
2021-04-10 bors[bot]Merge #8410
2021-04-09 bors[bot]Merge #8450
2021-04-09 bors[bot]Merge #8443 #8446
2021-04-09 bors[bot]Merge #8445
2021-04-09 Florian DieboldMove ToChalk -> mapping
2021-04-09 Florian DieboldReorganize hir_ty modules
2021-04-08 bors[bot]Merge #8429
2021-04-08 bors[bot]Merge #8433
2021-04-08 Florian DieboldCleanup
2021-04-08 Florian DieboldIntern Substitutions
2021-04-08 bors[bot]Merge #8421
2021-04-08 bors[bot]Merge #8419 #8423
2021-04-08 bors[bot]Merge #8422
2021-04-08 Florian DieboldRemove unused
2021-04-08 Florian DieboldFix `Canonicalized::apply_solution`
2021-04-08 Florian DieboldFix missing match arms
2021-04-08 Florian DieboldFix remaining `interned_mut` call
2021-04-08 Florian DieboldReplace remaining `fold` calls
2021-04-08 Florian DieboldReplace some `fold` calls
2021-04-08 Florian DieboldFix shifted_{in,out} calls
2021-04-08 Florian DieboldAdd HasInterner bounds
2021-04-08 bors[bot]Merge #8207
2021-04-07 bors[bot]Merge #8409
2021-04-07 Florian DieboldFix return type of Substitution::interned
2021-04-07 Florian DieboldInEnvironment::new takes a reference
2021-04-07 Florian DieboldMove hir_trait_id to extension trait
2021-04-07 bors[bot]Merge #8408
2021-04-07 bors[bot]Merge #8388
2021-04-07 bors[bot]Merge #8407
2021-04-07 Florian DieboldMove `equals_ctor` to `TyExt`
2021-04-07 bors[bot]Merge #8402
2021-04-07 Florian DieboldRemove Ty::substs{_mut}
2021-04-07 bors[bot]Merge #8394
2021-04-06 bors[bot]Merge #8382
2021-04-06 bors[bot]Merge #8387
2021-04-06 Florian DieboldRemove `SolutionVariables`, add ConstrainedSubst analog...
2021-04-06 bors[bot]Merge #8386
next