about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/trait_goals
AgeCommit message (Expand)AuthorLines
2023-03-30Closures always implement FnOnce in new solverMichael Goulet-3/+14
2023-03-21Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errorsMatthias Krüger-6/+22
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-16replace usage of `evaluate_goal` with a new `add_goal`Boxy-1/+1
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-2/+112
2023-02-24Comments, another testMichael Goulet-2/+41
2023-02-24Make higher-ranked projections in object types work in new solverMichael Goulet-16/+27
2023-02-24Check object's supertrait and associated type bounds in new solverMichael Goulet-1/+61
2023-02-24Rename many interner functions.Nicholas Nethercote-4/+2
2023-02-22Move some InferCtxt methods to EvalCtxt in new solverMichael Goulet-14/+12
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-2/+2
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-2/+2
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+6
2023-01-26fixup new usages of fn_sig, bound_fn_sig after rebasingKyle Matsuda-1/+1
2023-01-26Rollup merge of #107286 - compiler-errors:new-solver-deny-infers, r=lcnrMatthias Krüger-16/+23
2023-01-26ICE in new solver if we see an inference variableMichael Goulet-16/+23
2023-01-26Implement Generator and FutureMichael Goulet-0/+1
2023-01-19trait solver: Implement Fn traits and tuple traitMichael Goulet-1/+50
2023-01-19Fix IndexVec::drain_enumeratedMichael Goulet-10/+5
2023-01-18Handle structural traits more gracefullyMichael Goulet-0/+179