about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering/bounds.rs
AgeCommit message (Expand)AuthorLines
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-3/+3
2025-09-30Split Bound into Canonical and Boundjackh726-3/+3
2025-09-29Add `overlapping_assoc_constraints` param to `lower_bounds`Jules Bertholet-1/+3
2025-09-24Address review commentsJules Bertholet-2/+3
2025-09-18Enforce E0719 only for trait aliasesJules Bertholet-12/+15
2025-09-10Default auto traits: revert to the default supertraitsBryanskiy-129/+15
2025-08-11Rollup merge of #135331 - fmease:ban-assoc-ty-unbounds, r=lcnrStuart Cook-5/+3
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-1/+1
2025-07-28use let chains in ast, borrowck, codegen, const_evalKivooeo-12/+8
2025-07-20Reject relaxed bounds inside associated type boundsLeón Orell Valerian Liehr-5/+3
2025-07-18HIR ty lowering: Validate `PointeeSized` boundsLeón Orell Valerian Liehr-29/+7
2025-07-18Reword diagnostic about relaxing non-`Sized` boundLeón Orell Valerian Liehr-7/+20
2025-07-18HIR ty lowering: Simplify signature of `lower_poly_trait_ref`León Orell Valerian Liehr-5/+1
2025-07-17parse `const trait Trait`Deadbeef-1/+1
2025-07-04NitsMichael Goulet-1/+1
2025-07-04Same for typesMichael Goulet-1/+1
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-7/+8
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-2/+2
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-2/+2
2025-06-18hir_analysis: add `#![rustc_no_implicit_bounds]`David Wood-9/+11
2025-06-16hir_analysis: add `{Meta,Pointee}Sized` boundsDavid Wood-121/+225
2025-06-13TypeVisiting binders no longer requires TypeFolding its interiorMichael Goulet-3/+3
2025-05-22Rollup merge of #140218 - fmease:hirtylo-clean-up-path-low, r=compiler-errorsMatthias Krüger-108/+39
2025-05-07Require T: TypeFoldable in Binder<T> visitMichael Goulet-3/+3
2025-05-06Factor out `resolve_type_relative_path`León Orell Valerian Liehr-104/+37
2025-05-06Rename and move several error reporting methodsLeón Orell Valerian Liehr-1/+1
2025-05-06Name methods pertaining to HIR ty lowering of paths more appropriatelyLeón Orell Valerian Liehr-1/+1
2025-05-06Eliminate unnecessary parameterLeón Orell Valerian Liehr-7/+7
2025-05-06Consistently use the DiagCtxtHandle of HirTyLowerer instead of the one of TyCtxtLeón Orell Valerian Liehr-10/+8
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-13/+13
2025-04-10Rename some `name` variables as `ident`.Nicholas Nethercote-2/+2
2025-04-04Default auto traits: fix perfBryanskiy-8/+48
2025-04-04Auto merge of #120706 - Bryanskiy:leak, r=lcnrbors-39/+204
2025-04-03Initial support for auto traits with default boundsBryanskiy-39/+204
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-1/+1
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-2/+4
2025-03-15Fold visit into tyMichael Goulet-1/+1
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-1/+3
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-2/+1
2025-02-15HIR analysis: Remove unnecessary abstraction over list of clausesLeón Orell Valerian Liehr-20/+17
2025-02-11Reject `impl Trait` bounds in various places where we unconditionally warned ...Oli Scherer-2/+2
2025-02-08Rustfmtbjorn3-5/+7
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-3/+2
2024-12-02Fix broken intra-doc linkNoah Lev-1/+1
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-1/+1
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-4/+4
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-3/+3
2024-11-01Auto merge of #132196 - compiler-errors:probe_ty_param_bounds, r=petrochenkovbors-4/+5
2024-10-31Make SelfTraitThatDefines a tighter filterMichael Goulet-4/+5
2024-10-30Actually do validation for poly trait refs with ? modifierMichael Goulet-6/+0