summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
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-11cg_fulfill_obligation: expect erased regionslcnr-2/+0
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
2022-07-10Rollup merge of #99103 - TaKO8Ki:avoid-&str-to-string-conversions, r=oli-obkMatthias Krüger-1/+1
2022-07-10Remove duplicate notes from error on inter-crate ambiguous impl of traits (fi...rhysd-12/+12
2022-07-10avoid some `&str` to `String` conversionsTakayuki Maeda-1/+1
2022-07-09don't allow ZST in ScalarIntRalf Jung-0/+4
2022-07-08Fix duplicated type annotation suggestionDaniel Xu-0/+3
2022-07-08Auto merge of #98816 - estebank:implicit-sized, r=oli-obkbors-6/+6
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-0/+5
2022-07-08Rollup merge of #98794 - compiler-errors:conflicting-param-env, r=michaelwoer...Dylan DPC-13/+71
2022-07-08Rollup merge of #98654 - nnethercote:pest-2.1.3-opt, r=pnkfelixDylan DPC-17/+10
2022-07-08Highlight conflicting param-env candidatesMichael Goulet-13/+71
2022-07-07Use map_boundJack Huey-2/+2
2022-07-07Move code from rustc_trait_selection/opaque_types to better placesJack Huey-547/+60
2022-07-07Track `WellFormed` obligations with an appropriate cause, instead of `MiscObl...Esteban Küber-6/+6
2022-07-06Rollup merge of #98519 - TaKO8Ki:add-head-span-field-to-item-and-impl-item, r...Guillaume Gomez-32/+11
2022-07-06use `named_span` in case of tuple variantTakayuki Maeda-1/+1
2022-07-06replace `guess_head_span` with `def_span`Takayuki Maeda-32/+11
2022-07-06Rollup merge of #98884 - davidtwco:translation-on-lints-derive, r=oli-obkDylan DPC-2/+1
2022-07-06Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726bors-21/+27
2022-07-06Update TypeVisitor pathsAlan Egerton-18/+22
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-4/+6
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-2/+2
2022-07-05Auto merge of #98936 - matthiaskrgr:rollup-dvr0ucm, r=matthiaskrgrbors-4/+3
2022-07-05Rollup merge of #98921 - TaKO8Ki:refactor-fulfillment-context-select, r=Dylan...Matthias Krüger-4/+3