about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/impl_wf_check
AgeCommit message (Collapse)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
The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options.
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
Dejargonize `subst` In favor of #110793, replace almost every occurence of `subst` and `substitution` from rustc codes, but they still remains in subtrees under `src/tools/` like clippy and test codes (I'd like to replace them after this)
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
replace `track_errors` usages with bubbling up `ErrorGuaranteed` more of the same as https://github.com/rust-lang/rust/pull/117449 (removing `track_errors`)
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
Special-case Bevy dependents to not error
2024-01-17Move `check_mod_impl_wf` query call out of track_errors and bubble errors up ↵Oli Scherer-50/+82
instead.
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-8/+8
Also add some `dcx` methods to types that wrap `TyCtxt`, for easier access.
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
In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail.
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
r? @WaffleLapkin
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
Add an obligation cause for these error so that the error points to the implementations that caused the error.
2023-05-05Disallow (min) specialization imps with no itemsMatthew Jasper-1/+14
Such implementations are usually mistakes and are not used in the compiler or standard library (after this commit) so forbid them with `min_specialization`.