summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
2025-04-26Remove redundant checkmejrs-1/+0
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-2/+2
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-3/+3
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-2/+2
2025-04-10Rollup merge of #139530 - oli-obk:rustc-intrinsic-cleanup, r=RalfJungMatthias Krüger-11/+0
2025-04-09Use a query rather than recomputing the tail repeatedlyMichael Goulet-23/+3
2025-04-09Rigidly project missing item due to guaranteed impossible sized predicateMichael Goulet-6/+2
2025-04-09Remove some dead or leftover code related to rustc-intrinsic abi removalOli Scherer-11/+0
2025-04-08borrowck typeck children together with their parentlcnr-5/+5
2025-04-06remove compiler support for `extern "rust-intrinsic"` blocksSkgland-59/+49
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-7/+5
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-3/+2
2025-03-15Fold visit into tyMichael Goulet-1/+1
2025-03-15Squash fold into tyMichael Goulet-3/+3
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-2/+2
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-13/+7
2025-03-06Rollup merge of #137808 - jswrenn:droppy-unsafe-fields, r=nnethercoteMichael Goulet-32/+0
2025-03-03Don't typeck during WF, instead check outside of WF in check_crateMichael Goulet-6/+1
2025-02-28Do not require that unsafe fields lack drop glueJack Wrenn-32/+0
2025-02-25Don't require method impls for methods with `Self:Sized` bounds for impls for...Oli Scherer-1/+40
2025-02-24Introduce new-style attribute parsers for several attributesJana Dönszelmann-14/+21
2025-02-24Change span field accesses to method callsJana Dönszelmann-2/+2
2025-02-22Make a fake body to store typeck results for global_asmMichael Goulet-9/+0
2025-02-22Initial cleanups of InlineAsmCtxtMichael Goulet-1/+1
2025-02-22Make asm a named fieldMichael Goulet-1/+1
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-1/+1
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-1/+1
2025-02-17Overhaul the `intravisit::Map` trait.Nicholas Nethercote-2/+2
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-3/+3
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-64/+52
2025-02-05Eagerly detect coroutine recursion pre-mono when possibleMichael Goulet-25/+4
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-5/+5
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-4/+1
2025-01-17remove unnecessary assertion for reference erroryukang-1/+0
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-3/+3
2025-01-12Rollup merge of #135378 - compiler-errors:unnecessary-stashing, r=chenyukangMatthias Krüger-1/+1
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-1/+1
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-1/+1
2024-12-25Use PostBorrowckAnalysis in check_coroutine_obligationsMichael Goulet-8/+15
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-1/+1
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-2/+2
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-1/+1
2024-11-30Move refinement check out of compare_impl_itemMichael Goulet-1/+18
2024-11-30Make compare_impl_item into a queryMichael Goulet-15/+3
2024-11-28support revealing defined opaque post borrowcklcnr-3/+11
2024-11-28uplift fold_regions to rustc_type_irlcnr-2/+2
2024-11-21Implement the unsafe-fields RFC.Luca Versari-32/+72
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-0/+2
2024-11-19Implement ~const opaquesMichael Goulet-0/+2
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-5/+5