about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2022-07-21`region_outlives_predicate` no snapshotlcnr-29/+7
2022-07-21move `considering_regions` to the infcxlcnr-77/+33
2022-07-20take opaq typesouz-a-3/+6
2022-07-19Rollup merge of #99401 - TaKO8Ki:avoid-symbol-to-&str-conversions, r=nnethercoteMatthias Krüger-2/+2
2022-07-19Rollup merge of #98028 - aticu:master, r=estebankMatthias Krüger-0/+92
2022-07-19Add E0790 as more specific variant of E0283aticu-0/+92
2022-07-18Check generators for well formednessOli Scherer-9/+10
2022-07-18Auto merge of #99232 - lcnr:no-bound-vars-check, r=jackh726bors-2/+5
2022-07-18Auto merge of #99181 - lcnr:arenaGTrc, r=wesleywiserbors-10/+11
2022-07-18avoid `Symbol` to `&str` conversionsTakayuki Maeda-2/+2
2022-07-18Auto merge of #99137 - jackh726:wf-no-infcx, r=estebankbors-58/+46
2022-07-16Rollup merge of #99290 - compiler-errors:revert-98794, r=lcnrMatthias Krüger-71/+13
2022-07-15Fix suggestion regression with incorrect syntactic combination of trait boundsWill Crichton-1/+13
2022-07-15Propagate Expectation around binop typeck code to construct more precise trai...Will Crichton-3/+14
2022-07-15Revert "Highlight conflicting param-env candidates"Michael Goulet-71/+13
2022-07-15hir typeck: `fulfillment_cx` ignore regionslcnr-0/+10
2022-07-15provide `generic_param_scope` for region errorslcnr-15/+23
2022-07-15try to avoid `FnCtxt` during wflcnr-2/+96
2022-07-15`QueryNormalizer` bug on ambiguitylcnr-2/+2
2022-07-15Remove some more usages of guess_head_spanMichael Goulet-8/+2
2022-07-15remove tcx from ObligationCauseCode::spanMichael Goulet-3/+3
2022-07-15Remove some more usages of guess_head_spanMichael Goulet-2/+2
2022-07-14Rollup merge of #99222 - atsuzaki:generic_const_err, r=lcnrDylan DPC-0/+27
2022-07-14Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnrDylan DPC-667/+151
2022-07-14Auto merge of #99231 - Dylan-DPC:rollup-0tl8c0o, r=Dylan-DPCbors-3/+3
2022-07-14eagerly check for bound vars of predicateslcnr-0/+4
2022-07-14remove `ct.has_vars_bound_at_or_above` callslcnr-2/+1
2022-07-14Fix overlapping implskadmin-30/+140
2022-07-14Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillotDylan DPC-3/+3
2022-07-13Remove predicate noteKatherine Philip-2/+1
2022-07-13Add checks & fallback branchKatherine Philip-1/+13
2022-07-13Use emit_inference_failure_err for ConstEvaluatable predicatesKatherine Philip-0/+16
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-3/+3
2022-07-13Rollup merge of #98574 - dingxiangfei2009:let-else-thir, r=oli-obkDylan DPC-1/+1
2022-07-12Add an indirection for closures in `hir::ExprKind`Maybe Waffle-3/+3
2022-07-12remove outdated commentlcnr-9/+9
2022-07-12arena > Rc for query resultslcnr-6/+7
2022-07-12Rollup merge of #99038 - jackh726:earlybinder-cleanup, r=lcnrDylan DPC-2/+2
2022-07-12Move abstract const to rustc_middle::tykadmin-642/+16
2022-07-11move else block into the `Local` structDing Xiang Fei-1/+1
2022-07-11lower let-else in MIR insteadDing Xiang Fei-2/+2
2022-07-11Rollup merge of #99075 - danobi:dup_type_hint_sugg, r=petrochenkovMatthias Krüger-0/+3
2022-07-11Rollup merge of #99091 - compiler-errors:private-types-should-stay-private, r...Dylan DPC-2/+22
2022-07-11Rollup merge of #98907 - compiler-errors:plz-no-float, r=oli-obkDylan DPC-2/+20
2022-07-11Use Visibility::is_accessible_from to make suggestion more specificMichael Goulet-5/+7
2022-07-11Do not mention private Self types from other cratesMichael Goulet-2/+20
2022-07-11Deny floats even when adt_const_params is enabledMichael Goulet-2/+20
2022-07-11Rollup merge of #99095 - rhysd:issue-99092, r=compiler-errorsMatthias Krüger-12/+12
2022-07-10Don't pass InferCtxt to WfPredicatesJack Huey-23/+29
2022-07-10Don't try to resolve inference variables in WF computation, just registerJack Huey-35/+17