about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-5/+11
2023-05-08Auto merge of #106621 - ozkanonur:enable-elided-lifetimes-for-doctests, r=Mar...bors-9/+11
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-4/+4
2023-05-07enable `rust_2018_idioms` for doctestsozkanonur-9/+11
2023-05-06Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnrMatthias Krüger-0/+11
2023-05-05forbid escaping bound vars in combinelcnr-14/+8
2023-05-05Rollup merge of #111132 - lcnr:nll-generalize, r=b-naberYuki Okushi-105/+7
2023-05-04Use fulfillment to check Drop impl compatibilityMichael Goulet-0/+11
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-5/+11
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-6/+11
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-4/+4
2023-05-03remove `inside_canonicalization_ctxt` flaglcnr-37/+0
2023-05-04Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC-0/+4
2023-05-03cleanup nll generalizerlcnr-68/+7
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-23/+23
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-0/+4
2023-04-27Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnrMatthias Krüger-1/+1
2023-04-27rename `needs_infer` to `has_infer`Boxy-9/+9
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-1/+1
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-2/+2
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-6/+11
2023-04-25Rollup merge of #110563 - bryangarza:refactor-trait-selection-error-reporting...Matthias Krüger-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-8/+8
2023-04-22Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjaybors-2/+2
2023-04-21Break up long function in trait selection error reportingBryan Garza-1/+1
2023-04-21Clone region var origins instead of taking in borrowckMichael Goulet-2/+2
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-2/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-3/+3
2023-04-20Auto merge of #110527 - nnethercote:lazy-graph, r=lqdbors-4/+7
2023-04-20Auto merge of #110399 - cjgillot:infer-variance, r=aliemjaybors-13/+65
2023-04-19Auto merge of #110407 - Nilstrieb:fluent-macro, r=davidtwcobors-1/+2
2023-04-19In `LexicalResolver`, don't construct graph unless necessary.Nicholas Nethercote-4/+7
2023-04-19Rollup merge of #110476 - compiler-errors:ty-err-ctxt-good-path, r=lcnrMatthias Krüger-2/+1
2023-04-18Add `rustc_fluent_macro` to decouple fluent from `rustc_macros`Nilstrieb-1/+2
2023-04-18Rollup merge of #110417 - jsoref:spelling-compiler, r=NilstriebGuillaume Gomez-24/+24
2023-04-18Rollup merge of #110461 - WaffleLapkin:expect_, r=NilstriebMatthias Krüger-10/+2
2023-04-18Delay a good path bug for TypeErrCtxtMichael Goulet-2/+1
2023-04-17Spelling - compilerJosh Soref-24/+24
2023-04-17Use `Item::expect_*` and `ImplItem::expect_*` moreMaybe Waffle-10/+2
2023-04-17Rollup merge of #110394 - scottmcm:less-idx-new, r=WaffleLapkinMatthias Krüger-2/+1
2023-04-16Account for variance in outlives verification.Camille GILLOT-4/+45
2023-04-16Auto merge of #110405 - fee1-dead-contrib:rollup-9rkree6, r=fee1-deadbors-15/+12
2023-04-16Rollup merge of #110345 - nnethercote:rm-Super-impls-for-Region, r=compiler-e...fee1-dead-2/+2
2023-04-16use matches! macro in more placesMatthias Krüger-15/+12
2023-04-16Account for variance in outlives obligations.Camille GILLOT-9/+20
2023-04-16Various minor Idx-related tweaksScott McMurray-2/+1
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-2/+2
2023-04-14fix import ApplicabilityAlex Chi-1/+1
2023-04-14use param instead of tyAlex Chi-5/+17
2023-04-14better suggestion based on hirAlex Chi-41/+49