about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/resolve_bound_vars.rs
AgeCommit message (Expand)AuthorLines
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-10/+7
2025-07-19rename `emit_unless` to `emit_unless_delay`xizheyin-1/+1
2025-07-17parse `const trait Trait`Deadbeef-1/+1
2025-07-06compiler: rename {ast,hir}::BareFn* to FnPtr*Jubilee Young-6/+4
2025-07-04Same for typesMichael Goulet-15/+9
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-2/+2
2025-07-03compiler: document all provide fn in hir_analysis and hir_typeckJubilee Young-0/+1
2025-06-20Use gen blocks in the compiler instead of from_coroutineMichael Goulet-68/+64
2025-05-30Reorder fields in `hir::ItemKind` variants.Nicholas Nethercote-5/+5
2025-05-07Add `DefPathData::OpaqueLifetime` to avoid conflicts for remapped opaque life...John Kåre Alsaker-5/+5
2025-05-04Add comment on creation of lifetime inside opaque typesJohn Kåre Alsaker-0/+4
2025-04-29Remove global `next_disambiguator` state and handle it with a `DisambiguatorS...John Kåre Alsaker-9/+21
2025-04-16Rename `LifetimeName` as `LifetimeKind`.Nicholas Nethercote-23/+23
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-8/+8
2025-04-10Rename some `name` variables as `ident`.Nicholas Nethercote-4/+4
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-4/+4
2025-03-18Move `hir::Item::ident` into `hir::ItemKind`.Nicholas Nethercote-8/+8
2025-03-07Pass `Option<Symbol>` to `def_path_data`/`create_def` methods.Nicholas Nethercote-1/+2
2025-02-23Rollup merge of #137334 - compiler-errors:edition-2024-fresh-2, r=saethlin,tr...Jacob Pratt-5/+2
2025-02-23Rollup merge of #137180 - compiler-errors:sym-regions, r=oli-obkMatthias Krüger-1/+1
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-5/+2
2025-02-22Make asm a named fieldMichael Goulet-1/+1
2025-02-22Rollup merge of #136787 - compiler-errors:lt2024feat, r=oli-obkMatthias Krüger-21/+12
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-2/+2
2025-02-17Overhaul the `intravisit::Map` trait.Nicholas Nethercote-2/+2
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-5/+5
2025-02-09Remove lifetime_capture_rules_2024 featureMichael Goulet-21/+12
2025-02-08Rustfmtbjorn3-12/+15
2025-02-03Use a different hir type for patterns in pattern types than we use in match p...Oli Scherer-2/+2
2025-01-30Remove `NamedVarMap`.Nicholas Nethercote-68/+26
2025-01-24use `fmt::from_fn` in more places, instead of using structs that impl formatt...Yotam Ofek-32/+30
2025-01-23`visit_x_unambig`Boxy-14/+14
2025-01-23Semantic changes from new hir representationBoxy-7/+9
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-18/+18
2025-01-23Make `hir::TyKind::TraitObject` use tagged ptrBoxy-3/+5
2025-01-04turn hir::ItemKind::Fn into a named-field variantRalf Jung-2/+2
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-0/+15
2024-12-12Lower AST and resolve lifetimes for unsafe binder typesMichael Goulet-0/+30
2024-11-27Address review commentsMichael Goulet-68/+74
2024-11-27Handle bounds that come from the trait itselfMichael Goulet-27/+43
2024-11-27Robustify and genericize RTN resolution in RBVMichael Goulet-33/+86
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-6/+9
2024-11-10Deny capturing late-bound ty/ct params in nested opaquesMichael Goulet-10/+27
2024-11-10Revert "Skip late-bound lifetimes when crossing an AnonConst."Michael Goulet-12/+2
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-2/+2
2024-11-01Skip late-bound lifetimes when crossing an AnonConst.Camille GILLOT-2/+12
2024-11-01Account for late-bound depth when capturing all opaque lifetimes.Camille GILLOT-1/+8
2024-10-30Actually capture all in-scope lifetimes.Camille GILLOT-43/+29
2024-10-30Review comments.Camille GILLOT-1/+1