summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `?Sized` typesDavid Wood-8/+12
2025-06-03builtin dyn impl no guide inferencelcnr-1/+12
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-22Auto merge of #141396 - matthiaskrgr:rollup-feg050g, r=matthiaskrgrbors-1/+1
2025-05-22Don't allow poly_select in new solverMichael Goulet-3/+5
2025-05-20Querify coroutine_hidden_typesMichael Goulet-1/+1
2025-05-17Rollup merge of #140208 - compiler-errors:wf-coinductive, r=lcnrMatthias Krüger-1/+6
2025-05-16Auto merge of #140978 - davidtwco:deep-reject-in-match-norm-trait-ref, r=lcnrbors-2/+8
2025-05-13trait_sel: deep reject `match_normalize_trait_ref`David Wood-2/+8
2025-05-08normalization: avoid incompletely constraining GAT argslcnr-3/+4
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-2/+1
2025-04-29Adjust testsMichael Goulet-1/+3
2025-04-29Wf is not coinductiveMichael Goulet-1/+4
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-1/+1
2025-04-26convert some `GenericArg` to `Term`lcnr-10/+10
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-04-23MoreMichael Goulet-1/+3
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-1/+1
2025-04-09re-use sized fast pathDavid Wood-1/+7
2025-04-04Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obkbors-1/+3
2025-04-03Initial support for auto traits with default boundsBryanskiy-1/+5
2025-04-03add `TypingMode::Borrowck`lcnr-1/+3
2025-03-31Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnrMatthias Krüger-11/+16
2025-03-24Instantiate binder before registering nested obligations for auto/built-in tr...Michael Goulet-8/+3
2025-03-13Only prefer Sized candidates, and only if they certainly holdMichael Goulet-17/+11
2025-03-13Prefer built-in sized impls for rigid types alwaysMichael Goulet-1/+12
2025-03-10Remove AdtFlags::IS_ANONYMOUS and Copy/Clone condition for anonymous ADTMichael Goulet-9/+0
2025-03-09Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errorsMatthias Krüger-11/+3
2025-03-01Rollup merge of #137800 - BoxyUwU:param_env_docs, r=compiler-errorsMatthias Krüger-1/+1
2025-03-01Rollup merge of #137689 - compiler-errors:coroutine, r=lcnrMatthias Krüger-58/+21
2025-02-28reviewlcnr-3/+9
2025-02-26Remove `ParamEnv::without_caller_bounds`Boxy-1/+1
2025-02-26Use bound_coroutine_witnesses in old solverMichael Goulet-58/+21
2025-02-20Turn order dependent trait objects future incompat warning into a hard errorOli Scherer-11/+3
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-1/+2
2025-02-08Rustfmtbjorn3-3/+5
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-2/+2
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-1/+3
2025-01-14Prefer lower TraitUpcasting candidatesMichael Goulet-0/+12
2024-12-27Fix typoschloefeal-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+10
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-17consistently handle global where-boundslcnr-305/+241
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-1/+1
2024-12-04Make sure to record deps from cached task in new solver on first runMichael Goulet-4/+1
2024-12-02Auto merge of #133626 - lcnr:fix-diesel, r=BoxyUwUbors-6/+11
2024-11-29check local cache even if global is usablelcnr-6/+11
2024-11-28support revealing defined opaque post borrowcklcnr-1/+6
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2