about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve
AgeCommit message (Expand)AuthorLines
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-9/+13
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-26/+75
2023-03-22Rollup merge of #109447 - lcnr:coherence, r=compiler-errorsMatthias Krüger-44/+112
2023-03-22Implement non-const Destruct trait in new solverMichael Goulet-0/+28
2023-03-21Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errorsMatthias Krüger-6/+22
2023-03-21disable global caching during coherencelcnr-1/+2
2023-03-21enable `intercrate` in the solver `InferCtxt`lcnr-2/+8
2023-03-21new solver cleanup + coherencelcnr-41/+102
2023-03-21Also check function items' signatures for Fn* trait compatibilityOli Scherer-5/+14
2023-03-21Deduplicate fn trait compatibility checksOli Scherer-8/+1
2023-03-21Only implement Fn* traits for extern "Rust" safe function pointers.Oli Scherer-1/+15
2023-03-17move `compute_goal` and `evaluate_x` methods to inner moduleBoxy-272/+272
2023-03-17fix bad assertionBoxy-13/+4
2023-03-17replace chain with two `add_goal`Boxy-16/+11
2023-03-17fix let else unformattingBoxy-5/+9
2023-03-17UNACEPTABLEBoxy-9/+9
2023-03-17add commentsBoxy-0/+5
2023-03-17add assertBoxy-2/+9
2023-03-17review nitsBoxy-14/+18
2023-03-16replace usage of `evaluate_goal` with a new `add_goal`Boxy-254/+336
2023-03-15always make `define_opaque_types` explicitlcnr-4/+4
2023-03-13Better names?Michael Goulet-2/+2
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-2/+10
2023-03-12Rollup merge of #108726 - est31:backticks_matchmaking_tidy, r=NilstriebMatthias Krüger-1/+2
2023-03-11Add a fixme and address a more non trivial caseest31-1/+2
2023-03-11Rollup merge of #108071 - compiler-errors:new-solver-caching, r=lcnrMatthias Krüger-170/+76
2023-03-10Actually cache goalsMichael Goulet-70/+60
2023-03-10Move some solver stuff to middleMichael Goulet-100/+16
2023-03-10Rollup merge of #108828 - compiler-errors:new-solver-alias-eq-on-num-var, r=lcnrMatthias Krüger-4/+4
2023-03-10Unconstrained terms should account for infer vars being equatedMichael Goulet-15/+20
2023-03-09Fix canonicalizer bug for int/float vars tooMichael Goulet-4/+4
2023-03-07fix var equality issue with old canonicalizerMichael Goulet-1/+0
2023-03-07Canonicalize the ROOT VARMichael Goulet-11/+34
2023-03-05drop_tracking_mir: support new solver.Camille GILLOT-1/+1
2023-03-03canonicalizationlcnr-73/+670
2023-02-26Rollup merge of #107941 - compiler-errors:str-has-u8-slice-for-auto, r=lcnrMatthias Krüger-1/+3
2023-02-25Treat `str` as containing `[u8]` for auto trait purposesMichael Goulet-1/+3
2023-02-25Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnrMichael Goulet-3/+207
2023-02-24Comments, another testMichael Goulet-2/+41
2023-02-24Make higher-ranked projections in object types work in new solverMichael Goulet-18/+31
2023-02-24Check object's supertrait and associated type bounds in new solverMichael Goulet-2/+154
2023-02-24Rename many interner functions.Nicholas Nethercote-12/+11
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-7/+10
2023-02-22Move some InferCtxt methods to EvalCtxt in new solverMichael Goulet-226/+228
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-1/+0
2023-02-18Add consider_implied_clauseMichael Goulet-102/+97
2023-02-18Check that built-in callable types validate their output type is `Sized` (in ...Michael Goulet-14/+45
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-3/+3
2023-02-17Remove the `InternIteratorElement` impl for `&'a T`.Nicholas Nethercote-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 04:44:07 +0000