about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/query.rs
AgeCommit message (Expand)AuthorLines
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-6/+6
2023-03-17Remove VecMapMichael Goulet-2/+2
2023-03-08Auto merge of #108312 - michaelwoerister:hash-set-not-hash-stable, r=eholkbors-2/+2
2023-03-04tweak ClosureOutlivesSubjectTyAli MJ Al-Nasrawy-7/+10
2023-03-03promote subject even if it has unnamed regionsAli MJ Al-Nasrawy-12/+45
2023-03-01Remove last instances of HashSet in query result types.Michael Woerister-2/+2
2023-02-14Use derive attributes for uninteresting traversalsAlan Egerton-0/+2
2023-01-27Restrict amount of ignored locals.Camille GILLOT-2/+2
2023-01-27Remember where a type was kept in MIR.Camille GILLOT-1/+10
2022-12-18A few small cleanups for `newtype_index`Nilstrieb-2/+1
2022-12-18Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb-1/+1
2022-12-18Use `#[derive]` instead of custom syntax in all `newtype_index`Nilstrieb-1/+1
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-10/+6
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-6/+10
2022-09-19`DestructuredConst` split mir and tylcnr-8/+1
2022-09-16Make QueryOutlivesConstraint contain a ConstraintCategoryJack Huey-2/+2
2022-09-16Revert "Better errors for implied static bound"Jack Huey-2/+2
2022-09-13Better errors for implied static boundJack Huey-2/+2
2022-08-02remove some unused code and typesRalf Jung-20/+2
2022-07-20Remove unused StableMap and StableSet types from rustc_data_structuresMichael Woerister-1/+1
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-1/+1
2022-07-13assigning to a union field can never drop nowRalf Jung-6/+0
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-2/+2
2022-05-26rebase, use Ty in CallArgument and re-insert static_assert_size on Constraint...b-naber-2/+8
2022-05-25add def_id and substs to ConstraintCategory::CallArgumentb-naber-7/+4
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-2/+9
2022-04-26Revert "add `DefId` to unsafety violations and display function path in E0133"Oli Scherer-49/+19
2022-04-24only show a simple description in E0133 span labelEmil Gardström-11/+32
2022-04-24add `DefId` to unsafety violations and display function path in E0133Emil Gardström-19/+28
2022-04-07Report opaque type mismatches directly during borrowck of the function instea...Oli Scherer-2/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-28Have the spans of TAIT type conflict errors point to the actual site instead ...Oli Scherer-2/+2
2022-03-15fix typosDylan DPC-1/+1
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-3/+3
2022-02-20Improve `unused_unsafe` lintFrank Steffahn-6/+37
2022-02-16Use a `Field` in `ConstraintCategory::ClosureUpvar`pierwill-2/+2
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1
2022-02-11add tainted_by_errors to mir::BodyMichael Goulet-1/+1
2022-02-11rework borrowck errors so that it's harder to not set taintedMichael Goulet-1/+1
2022-02-11implement tainted_by_errors in mir borrowckMichael Goulet-0/+1
2022-01-01Stabilize -Z instrument-coverage as -C instrument-coverageJosh Triplett-1/+1
2021-10-18Do not promote values with const drop that need to be droppedTomasz Miąsko-0/+1
2021-10-18Rename `needs_drop` to `needs_non_const_drop`Tomasz Miąsko-1/+1
2021-09-27Remove `DefId` from `ConstraintCategory::Predicate`Aaron Hill-1/+4
2021-09-27Improve cause information for NLL higher-ranked errorsAaron Hill-0/+5
2021-09-16Add `ConstraintCategory::Usage` for handling aggregate constructionAaron Hill-5/+3
2021-09-09nitsEllen-13/+0
2021-09-09rename mir -> thir around abstract constsEllen-4/+5
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-2/+2