about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/impl_wf_check
AgeCommit message (Expand)AuthorLines
2023-10-13Format all the let chains in compilerMichael Goulet-1/+3
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-09-29specialization: use clauselcnr-37/+23
2023-08-02Remove constness from `TraitPredicate`Deadbeef-38/+4
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-2/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-40/+40
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-2/+1
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-12/+10
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-14/+18
2023-06-19s/Clause/ClauseKindMichael Goulet-13/+13
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-3/+16
2023-05-05Disallow (min) specialization imps with no itemsMatthew Jasper-1/+14
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-4/+4
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-04-25Fix static string lintsclubby789-6/+4
2023-04-12region error cleanuplcnr-2/+1
2023-04-06Make elaborator genericMichael Goulet-7/+5
2023-03-28Rollup merge of #109629 - aliemjay:remove-givens, r=lcnrnils-1/+1
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-21/+13
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-1/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-1/+1
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-1/+1
2023-03-15Auto merge of #107376 - aliemjay:remove-givens, r=lcnrbors-1/+1
2023-03-09Remove body_def_id from InheritedMichael Goulet-1/+1
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-17add predicate evaluation logicBoxy-0/+10
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+1
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-11/+4
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-3/+3
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-4/+4
2023-01-03Move check_region_obligations_and_report_errors to TypeErrCtxtMichael Goulet-1/+2
2022-12-28Auto merge of #106129 - compiler-errors:compare_method-tweaks, r=BoxyUwUbors-1/+1
2022-12-27Rollup merge of #106151 - TaKO8Ki:remove-unused-imports, r=jackh726fee1-dead-1/+0
2022-12-26remove unused importsTakayuki Maeda-1/+0
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-3/+3
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-10/+24
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-11-10Apply PR feedback.Ben Reeves-10/+9
2022-11-10Require `~const` qualifier on trait bounds in specializing impls if present i...Ben Reeves-16/+43
2022-11-10Disallow specializing on const impls with non-const impls.Ben Reeves-4/+31
2022-11-10Allow specialized const trait impls.Ben Reeves-21/+44
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-1/+1
2022-10-10Fix compiler docsGuillaume Gomez-0/+8
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 09:10:27 +0000