summaryrefslogtreecommitdiff
path: root/compiler/rustc_hir_analysis
Commit message (Expand)AuthorAgeFilesLines
* Rollup merge of #111648 - Nilstrieb:language-items, r=WaffleLapkinDylan DPC2023-05-171-3/+1
|\
| * Remove `LangItems::require`Nilstrieb2023-05-161-3/+1
* | Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obkMatthias Krüger2023-05-161-1/+1
|\ \
| * | Handle error body when in generator layoutclubby7892023-05-131-1/+1
* | | Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillotMatthias Krüger2023-05-1510-11/+12
|\ \ \
| * | | Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker2023-05-1510-11/+12
| |/ /
* | | Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors2023-05-151-4/+4
|\ \ \ | |/ / |/| |
| * | Rename const error methods for consistencyMichael Goulet2023-05-141-4/+4
* | | Add a convenience functionOli Scherer2023-05-121-8/+1
* | | Invert `IgnoreRegions` to `CheckRegions`Oli Scherer2023-05-122-4/+4
* | | Require `impl Trait` in associated types to appear in method signaturesOli Scherer2023-05-126-11/+23
|/ /
* | Rollup merge of #106038 - aliemjay:opaque-implied, r=lcnrMichael Goulet2023-05-111-3/+14
|\ \ | |/ |/|
| * use implied bounds when checking opaque typesAli MJ Al-Nasrawy2023-05-071-3/+14
* | Rollup merge of #111215 - BoxyUwU:resolve_anon_consts_differently, r=cjgillotMatthias Krüger2023-05-091-14/+17
|\ \
| * | misc nameres changes for anon constsBoxy2023-05-051-14/+17
| |/
* | Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC2023-05-093-4/+42
|\ \
| * | Report nicer lifetime errors for specializationMatthew Jasper2023-05-051-3/+16
| * | Disallow (min) specialization imps with no itemsMatthew Jasper2023-05-053-1/+26
| |/
* | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet2023-05-086-29/+54
|\ \
| * | IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr2023-05-046-29/+54
* | | Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8KiYuki Okushi2023-05-081-5/+6
|\ \ \
| * | | Don't compute trait super bounds unless they're positiveMichael Goulet2023-05-041-5/+6
| | |/ | |/|
* | | Auto merge of #106621 - ozkanonur:enable-elided-lifetimes-for-doctests, r=Mar...bors2023-05-082-18/+30
|\ \ \
| * | | enable `rust_2018_idioms` for doctestsozkanonur2023-05-072-18/+30
* | | | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors2023-05-076-39/+106
|\ \ \ \
| * | | | Error message for ambiguous RTN from super boundsMichael Goulet2023-05-033-3/+27
| * | | | Rename things to reflect that they're not item specificMichael Goulet2023-05-034-11/+11
| * | | | Support RTN on associated methods from supertraitsMichael Goulet2023-05-034-28/+71
* | | | | Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnrMatthias Krüger2023-05-061-233/+91
|\ \ \ \ \
| * | | | | Use fulfillment to check Drop impl compatibilityMichael Goulet2023-05-041-233/+91
| | |_|/ / | |/| | |
* | | | | remove unnecessary attribute from a diagnosticTakayuki Maeda2023-05-051-1/+0
|/ / / /
* | | | Auto merge of #111174 - matthiaskrgr:rollup-ncnqivh, r=matthiaskrgrbors2023-05-043-1/+34
|\ \ \ \ | |_|_|/ |/| | |
| * | | Rollup merge of #110859 - compiler-errors:no-negative-drop-impls, r=oli-obkMatthias Krüger2023-05-043-1/+34
| |\ \ \
| | * | | Explicitly reject negative and reservation drop implsMichael Goulet2023-04-273-1/+34
* | | | | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors2023-05-046-10/+15
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle2023-04-261-1/+1
| * | | | Remove some useless `ty::Binder::dummy` callsMaybe Waffle2023-04-252-3/+3
| * | | | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle2023-04-256-9/+14
* | | | | Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC2023-05-043-6/+37
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | Make negative trait bounds work with the old trait solverMichael Goulet2023-05-021-0/+10
| * | | | Disallow associated type constraints on negative boundsMichael Goulet2023-05-021-2/+0
| * | | | Implement negative boundsMichael Goulet2023-05-023-6/+29
* | | | | Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote2023-05-0319-115/+112
|/ / / /
* | | | Rollup merge of #110512 - compiler-errors:fix-elaboration-with-associated-typ...Dylan DPC2023-05-024-73/+111
|\ \ \ \
| * | | | Don't use implied trait predicates in gather_explicit_predicates_ofMichael Goulet2023-05-011-6/+11
| * | | | Do not consider associated type bounds for super_predicates_that_define_assoc...Michael Goulet2023-05-014-16/+68
| * | | | Simplify type_parameter_bounds_in_genericsMichael Goulet2023-05-012-53/+34
* | | | | Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwUDylan DPC2023-05-023-107/+160
|\ \ \ \ \
| * | | | | Add a `ConstParamTy` traitMaybe Waffle2023-04-273-107/+160
| | |/ / / | |/| | |
* | | | | Codegen fewer instructions in `mem::replace`Scott McMurray2023-04-301-0/+1
| |/ / / |/| | |