summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/astconv
AgeCommit message (Expand)AuthorLines
2023-05-26print const and type errors in braces not square bracketsBoxy-1/+1
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-3/+3
2023-05-18Rollup merge of #111633 - nnethercote:avoid-ref-format, r=WaffleLapkinDylan DPC-2/+2
2023-05-17Rollup merge of #111588 - MU001999:diag/improve-e0782, r=fee1-deadDylan DPC-4/+3
2023-05-17Emits E0599 when meeting MyTrait::missing_methodmu001999-4/+3
2023-05-16Avoid `&format("...")` calls in error message code.Nicholas Nethercote-2/+2
2023-05-14Rename const error methods for consistencyMichael Goulet-4/+4
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-26/+35
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-8/+49
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-26/+35
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-2/+2
2023-05-03Error message for ambiguous RTN from super boundsMichael Goulet-2/+10
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-3/+3
2023-05-03Support RTN on associated methods from supertraitsMichael Goulet-5/+38
2023-05-04Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC-5/+29
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-40/+40
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-5/+21
2023-05-01Do not consider associated type bounds for super_predicates_that_define_assoc...Michael Goulet-5/+52
2023-05-01Simplify type_parameter_bounds_in_genericsMichael Goulet-11/+6
2023-04-27rename `needs_subst` to `has_param`Boxy-1/+1
2023-04-27rename `needs_infer` to `has_infer`Boxy-2/+2
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-2/+2
2023-04-20Feed type_of query instead of using WithOptconstParam.Camille GILLOT-8/+3
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-13Rollup merge of #110195 - compiler-errors:issue-110052, r=aliemjayMatthias Krüger-14/+6
2023-04-11Allow the elaborator to only filter to real supertraitsMichael Goulet-31/+37
2023-04-11Erase lifetimes above ty::INNERMOST when probing ambiguous typesMichael Goulet-14/+6
2023-04-10rustc_metadata: Filter encoded data more aggressively using `DefKind`Vadim Petrochenkov-1/+1
2023-04-09Auto merge of #110031 - compiler-errors:generic-elaboration, r=b-naberbors-3/+3
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-4/+4
2023-04-06Get rid of elaborate_trait_ref{s} tooMichael Goulet-3/+3
2023-04-01fix clippy::iter_kv_mapMatthias Krüger-2/+2
2023-03-28Add `(..)` syntax for RTNMichael Goulet-8/+16
2023-03-28Add tests and error messagesMichael Goulet-9/+19
2023-03-28Compute bound vars correctlyMichael Goulet-16/+55
2023-03-28RTNMichael Goulet-50/+103
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-6/+3
2023-03-23Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgrbors-1/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-22Rollup merge of #109423 - fmease:iat-selection-erase-regions-in-self-ty, r=co...Matthias Krüger-31/+51
2023-03-21iat selection: erase regions in self typeLeón Orell Valerian Liehr-31/+51
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-4/+3
2023-03-20Rollup merge of #109277 - spastorino:new-rpitit-14, r=compiler-errorsMatthias Krüger-2/+6
2023-03-20Update some names and commentsMichael Goulet-1/+1
2023-03-18Rollup merge of #107416 - czzrr:issue-80618, r=GuillaumeGomezMatthias Krüger-1/+1
2023-03-18Rollup merge of #109200 - compiler-errors:issue-109191, r=WaffleLapkinMatthias Krüger-3/+6
2023-03-17Fix impl_trait_ty_to_ty substsSantiago Pastorino-2/+6
2023-03-17Erase escaping late-bound regions when probing for ambiguous associated typesMichael Goulet-3/+14