about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/impl_wf_check
AgeCommit message (Expand)AuthorLines
2025-09-24impl Ord for params and use unstable sortMarijn Schouten-1/+1
2025-08-11Remove unnecessary trait predicate eq functionMichael Goulet-33/+1
2025-07-15Implement other logicstiif-0/+1
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-4/+4
2025-04-26convert some `GenericArg` to `Term`lcnr-1/+4
2025-01-31Fix a comment typo.Nicholas Nethercote-1/+1
2025-01-31Use `.and` chaining to improve readability.Nicholas Nethercote-6/+4
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-6/+2
2024-12-02Fix const specializationMichael Goulet-26/+0
2024-11-22Simplify fulfill_implicationMichael Goulet-7/+2
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+1
2024-10-29TypingMode :thinking:lcnr-3/+5
2024-10-24Implement const effect predicate in new solverMichael Goulet-1/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+4
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-27 21:03:32 +0000