about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src
AgeCommit message (Expand)AuthorLines
2025-04-22Consider Copy/Clone tooMichael Goulet-0/+17
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-2/+20
2025-04-18Don't assemble non-env/bound candidates if projection is rigidMichael Goulet-39/+58
2025-04-17Rollup merge of #139774 - compiler-errors:supertrait-alias, r=lcnrMatthias Krüger-66/+123
2025-04-17Rollup merge of #139900 - lcnr:normalizes-to-where-bounds-unproductive, r=com...Matthias Krüger-8/+13
2025-04-16Don't require rigid alias's trait to holdMichael Goulet-1/+0
2025-04-16Remove FIXME that is no longer relevantMichael Goulet-6/+0
2025-04-16Fix replacing supertrait aliases in ReplaceProjectionWithMichael Goulet-60/+123
2025-04-16stepping into impls for norm is unproductivelcnr-8/+13
2025-04-15Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalatharbors-30/+61
2025-04-15Rollup merge of #139798 - lcnr:where-bounds-gt-alias-bound, r=compiler-errorsStuart Cook-21/+30
2025-04-15Rollup merge of #139791 - lcnr:ignore-global-where-bounds, r=compiler-errorsStuart Cook-2/+6
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-1/+1
2025-04-14normalize: prefer ParamEnv over AliasBoundlcnr-21/+30
2025-04-14do not leak auto traits in item boundslcnr-7/+25
2025-04-14drop global where-bounds before merging candidateslcnr-2/+6
2025-04-10Auto merge of #139000 - compiler-errors:rigid-missing-item, r=lcnrbors-3/+29
2025-04-09Make unnormalizable item ambiguous in coherenceMichael Goulet-2/+18
2025-04-09Use a query rather than recomputing the tail repeatedlyMichael Goulet-1/+1
2025-04-09Mark GAT WC as GoalSource::AliasWellFormed so that we recurse into them in er...Michael Goulet-2/+2
2025-04-09Rigidly project missing item due to guaranteed impossible sized predicateMichael Goulet-1/+11
2025-04-09update cfgsBoxy-1/+1
2025-04-05Fix ProvenVia for global where clausesMichael Goulet-2/+10
2025-04-04Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obkbors-0/+39
2025-04-03Initial support for auto traits with default boundsBryanskiy-19/+29
2025-04-03add `TypingMode::Borrowck`lcnr-0/+39
2025-04-01simplify Interner opaque types APIlcnr-24/+12
2025-03-26Implement lint against using Interner and InferCtxtLike in random compiler cr...Michael Goulet-0/+1
2025-03-24Allow WellFormed goals to be returned from relating in new solverMichael Goulet-7/+9
2025-03-20Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputTypeMichael Goulet-1/+4
2025-03-15Use {Decodable,Encodable}_NoContext in type_irMichael Goulet-2/+5
2025-03-15Fold visit into tyMichael Goulet-11/+12
2025-03-15Squash fold into tyMichael Goulet-16/+18
2025-03-12Rollup merge of #138331 - nnethercote:use-RUSTC_LINT_FLAGS-more, r=onur-ozkan...Matthias Krüger-1/+0
2025-03-12Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errorsMatthias Krüger-20/+70
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-0/+1
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-49/+0
2025-03-05keep inductive cycles as ambig in coherencelcnr-2/+18
2025-03-05change definitely non-productive cycles to errorlcnr-19/+53
2025-03-01Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrennMatthias Krüger-4/+1
2025-03-01Rollup merge of #137689 - compiler-errors:coroutine, r=lcnrMatthias Krüger-50/+40
2025-02-28reviewlcnr-0/+15
2025-02-28normalizing where-clauses is also coinductive, add testslcnr-8/+25
2025-02-28fix typolcnr-1/+1
2025-02-28rework cycle handlinglcnr-47/+90
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-4/+1
2025-02-27Delete tuple unsizingAlice Ryhl-49/+0
2025-02-26Use bound_coroutine_witnesses in old solverMichael Goulet-2/+2