about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/impl_wf_check
AgeCommit message (Expand)AuthorLines
2024-05-13Apply nitsMichael Goulet-7/+4
2024-05-13split out AliasTy -> AliasTermMichael Goulet-8/+8
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-1/+1
2024-05-10Name tweaksMichael Goulet-1/+1
2024-05-10More rename falloutMichael Goulet-1/+1
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-1/+1
2024-02-20Use expand_weak_alias_tys when collecting constrained generics params in implsLeón Orell Valerian Liehr-5/+5
2024-02-17Properly check constrainedness of gen params in the presence of weak alias typesLeón Orell Valerian Liehr-4/+4
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-7/+7
2024-02-12Dejargnonize substShoyu Vanilla-7/+7
2024-02-12remove a bunch of dead parameters in fnyukang-5/+1
2024-01-18Rollup merge of #119869 - oli-obk:track_errors2, r=matthewjasperMatthias Krüger-50/+82
2024-01-17Add -Zno-implied-bounds-compat option and use itJack Huey-2/+1
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-1/+2
2024-01-17Move `check_mod_impl_wf` query call out of track_errors and bubble errors up ...Oli Scherer-50/+82
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-8/+8
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 22:47:19 +0000