about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2023-05-08Auto merge of #106621 - ozkanonur:enable-elided-lifetimes-for-doctests, r=Mar...bors-18/+30
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-38/+101
2023-05-07use implied bounds when checking opaque typesAli MJ Al-Nasrawy-3/+14
2023-05-07enable `rust_2018_idioms` for doctestsozkanonur-18/+30
2023-05-06Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnrMatthias Krüger-233/+91
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-3/+16
2023-05-05misc nameres changes for anon constsBoxy-14/+17
2023-05-05Disallow (min) specialization imps with no itemsMatthew Jasper-1/+23
2023-05-05remove unnecessary attribute from a diagnosticTakayuki Maeda-1/+0
2023-05-04Use fulfillment to check Drop impl compatibilityMichael Goulet-233/+91
2023-05-04Don't compute trait super bounds unless they're positiveMichael Goulet-5/+6
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-29/+54
2023-05-04Auto merge of #111174 - matthiaskrgr:rollup-ncnqivh, r=matthiaskrgrbors-1/+30
2023-05-04Rollup merge of #110859 - compiler-errors:no-negative-drop-impls, r=oli-obkMatthias Krüger-1/+30
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-10/+15
2023-05-03Error message for ambiguous RTN from super boundsMichael Goulet-3/+23
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-11/+11
2023-05-03Support RTN on associated methods from supertraitsMichael Goulet-27/+70
2023-05-04Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC-6/+37
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-115/+112
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-0/+10
2023-05-02Disallow associated type constraints on negative boundsMichael Goulet-2/+0
2023-05-02Implement negative boundsMichael Goulet-6/+29
2023-05-02Rollup merge of #110512 - compiler-errors:fix-elaboration-with-associated-typ...Dylan DPC-73/+111
2023-05-02Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwUDylan DPC-107/+156
2023-05-01Don't use implied trait predicates in gather_explicit_predicates_ofMichael Goulet-6/+11
2023-05-01Do not consider associated type bounds for super_predicates_that_define_assoc...Michael Goulet-16/+68
2023-05-01Simplify type_parameter_bounds_in_genericsMichael Goulet-53/+34
2023-04-30Codegen fewer instructions in `mem::replace`Scott McMurray-0/+1
2023-04-28remove unused `mut`sLukas Markeffsky-1/+1
2023-04-28Auto merge of #110837 - scottmcm:offset-for-add, r=compiler-errorsbors-1/+2
2023-04-27Also use `mir::Offset` for pointer `add`Scott McMurray-1/+2
2023-04-27Explicitly reject negative and reservation drop implsMichael Goulet-1/+30
2023-04-27Add a `ConstParamTy` traitMaybe Waffle-107/+156
2023-04-27rename `needs_subst` to `has_param`Boxy-6/+6
2023-04-27rename `needs_infer` to `has_infer`Boxy-4/+4
2023-04-26Rollup merge of #110835 - nnethercote:strict-region-folders-2, r=compiler-errorsMatthias Krüger-13/+8
2023-04-26Rollup merge of #108760 - clubby789:autolintstuff, r=wesleywiserMatthias Krüger-23/+56
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-1/+1
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-13/+8
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-18/+21
2023-04-25Fix static string lintsclubby789-23/+56
2023-04-25Remove some useless `ty::Binder::dummy` callsMaybe Waffle-3/+3
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-9/+14
2023-04-25Auto merge of #110325 - obeis:hir-analysis-migrate-diagnostics-4, r=davidtwcobors-84/+214
2023-04-25Rollup merge of #110539 - WaffleLapkin:split_index_vec&slice, r=cjgillotYuki Okushi-2/+2
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-2/+2
2023-04-24Auto merge of #110672 - Ezrashaw:allow-array-simd-in-inline-asm, r=workingjub...bors-13/+25
2023-04-24Rollup merge of #110706 - scottmcm:transmute_unchecked, r=oli-obkMatthias Krüger-1/+1
2023-04-23Rollup merge of #110700 - compiler-errors:fn-ret-fn, r=oli-obkMatthias Krüger-11/+20