summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2024-03-15Rollup merge of #122513 - petrochenkov:somehir4, r=fmeaseGuillaume Gomez-12/+6
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-12/+6
2024-03-14Rollup merge of #122487 - GuillaumeGomez:rename-stmtkind-local, r=oli-obkMatthias Krüger-3/+3
2024-03-14Auto merge of #120943 - petrochenkov:somehir3, r=oli-obkbors-0/+1
2024-03-14Rename `hir::StmtKind::Local` into `hir::StmtKind::Let`Guillaume Gomez-3/+3
2024-03-13Delay a bug for stranded opaquesMichael Goulet-1/+7
2024-03-13Create some minimal HIR for associated opaque typesVadim Petrochenkov-0/+1
2024-03-12Manual rustfmtOli Scherer-1/+1
2024-03-12s/mt/mutability/Oli Scherer-2/+1
2024-03-12Add `nested` bool to `DefKind::Static`.Oli Scherer-1/+1
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-3/+3
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-2/+2
2024-03-10Auto merge of #121662 - saethlin:precondition-unification, r=RalfJungbors-2/+3
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-0/+4
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-2/+3
2024-03-08Rollup merge of #122172 - compiler-errors:rpitit-collect-ice, r=fmeaseMatthias Krüger-8/+7
2024-03-08Auto merge of #122190 - matthiaskrgr:rollup-9ol4y30, r=matthiaskrgrbors-10/+11
2024-03-08Don't ICE if we collect no RPITITs unless there are no unification errorsMichael Goulet-8/+7
2024-03-08Auto merge of #121500 - oli-obk:track_errors12, r=petrochenkovbors-5/+20
2024-03-08Rollup merge of #121563 - Jarcho:use_cf, r=petrochenkovMatthias Krüger-10/+11
2024-03-08Rollup merge of #122103 - compiler-errors:taits-capture-everything, r=oli-obkMatthias Krüger-10/+11
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-0/+2
2024-03-08Rename some functions to represent their generalized behaviorMichael Goulet-1/+1
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-10/+11
2024-03-07Merge collect_mod_item_types query into check_well_formedOli Scherer-5/+20
2024-03-07Rollup merge of #122043 - Y-Nak:move-early-binder, r=lcnrGuillaume Gomez-13/+10
2024-03-07Rollup merge of #121863 - lukas-code:silence-mismatched-super-projections, r=...Guillaume Gomez-18/+28
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-13/+10
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-0/+2
2024-03-06Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obkbors-32/+24
2024-03-06Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgrbors-2/+2
2024-03-05Use `ControlFlow` in HIR visitorsJason Newcomb-10/+11
2024-03-05Rollup merge of #122028 - oli-obk:drop_in_place_leftovers, r=compiler-errorsMatthias Krüger-1/+0
2024-03-05Rollup merge of #121894 - RalfJung:const_eval_select, r=oli-obkMatthias Krüger-1/+2
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-18/+10
2024-03-05Move visitor utils to `rustc_ast_ir`Jason Newcomb-1/+1
2024-03-05Remove some dead codeOli Scherer-1/+0
2024-03-05Auto merge of #121780 - nnethercote:diag-renaming2, r=davidtwcobors-2/+2
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-2/+2
2024-03-05Auto merge of #120675 - oli-obk:intrinsics3.0, r=pnkfelixbors-2/+2
2024-03-05Rename all `ParseSess` variables/fields/lifetimes as `psess`.Nicholas Nethercote-1/+1
2024-03-04rename `ast_*` to `hir_*` in wfcheckLukas Markeffsky-17/+17
2024-03-04adjust obligation spans for super projectionsLukas Markeffsky-3/+13
2024-03-04Return a struct from `query intrinsic` to be able to add another field in the...Oli Scherer-2/+2
2024-03-02const_eval_select: make it safe but be careful with what we expose on stable ...Ralf Jung-1/+2
2024-03-01Add `f16` and `f128` intrinsics to HIRTrevor Gross-1/+73
2024-02-29Auto merge of #118247 - spastorino:type-equality-subtyping, r=lcnrbors-3/+7
2024-02-29Make infer higher ranked equate use bidirectional subtyping in invariant contextSantiago Pastorino-3/+7
2024-02-29Rollup merge of #121669 - nnethercote:count-stashed-errs-again, r=estebankGuillaume Gomez-2/+1
2024-02-29Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=...Jacob Pratt-5/+9