about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/astconv
AgeCommit message (Expand)AuthorLines
2023-06-18Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errorsMatthias Krüger-2/+4
2023-06-17Move some bounds computation out of astconv into its own fileMichael Goulet-567/+585
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-2/+2
2023-06-17Move WF goal to clauseMichael Goulet-3/+4
2023-06-17`Bound::predicates` to return `Clause`dswij-2/+4
2023-06-16Pacify tidyOli Scherer-116/+128
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+13
2023-06-11iat selection: normalize self ty & completely erase bound varsLeón Orell Valerian Liehr-19/+57
2023-06-07Auto merge of #111047 - compiler-errors:rtn-no-ty-ct-params, r=spastorinobors-39/+24
2023-06-05Remove redundant InferCtxtExt::fresh_item_substsMichael Goulet-36/+1
2023-06-05Emit an error when RTN is used with ty/ct paramsMichael Goulet-3/+23
2023-06-05Merge method, type and const object safety checksOli Scherer-0/+4
2023-06-05Avoid going through queries if a value of type `AssocItem` is already availableOli Scherer-1/+1
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-1/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-15/+17
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
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