summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-05-25Auto merge of #97388 - Dylan-DPC:rollup-tfuc4tf, r=Dylan-DPCbors-9/+7
2022-05-25Rollup merge of #96913 - Urgau:rfc3239-part2, r=petrochenkovDylan DPC-9/+7
2022-05-25Auto merge of #97345 - lcnr:fast_reject, r=nnethercotebors-66/+31
2022-05-25move fast reject test out of `SelectionContext::match_impl`.lcnr-11/+12
2022-05-25add a deep fast_reject routinelcnr-55/+19
2022-05-25Rollup merge of #97105 - JulianKnodt:const_dep_gen_const_expr, r=lcnrDylan DPC-134/+133
2022-05-24trait selection errors should poison the typeck results, too, so that const e...Oli Scherer-0/+1
2022-05-24Clean up condition evaluation systemLoïc BRANSTETT-9/+7
2022-05-24give correct error message on structural match violationb-naber-10/+24
2022-05-24Coalesce brancheskadmin-137/+133
2022-05-22Lifetime variance fixes for rustcMichael Goulet-2/+2
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-7/+6
2022-05-19Auto merge of #97024 - lcnr:simplify_type-sus, r=<try>bors-14/+8
2022-05-18fix `simplify_type`lcnr-14/+8
2022-05-18Rollup merge of #97123 - ricked-twice:issue-96223-clean-fix, r=jackh726Dylan DPC-128/+130
2022-05-18Rollup merge of #95979 - lcnr:coherence-docs, r=compiler-errorsDylan DPC-22/+35
2022-05-17Taking review into accountricked-twice-20/+16
2022-05-17Clean fix for #96223ricked-twice-115/+121
2022-05-17Add tests for lint on type dependent on constskadmin-0/+3
2022-05-17Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebankbors-161/+56
2022-05-16Don't go into the query for things that can't possibly have lifetimes.Oli Scherer-3/+10
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-36/+38
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-30/+29
2022-05-13Add bound_impl_trait_refJack Huey-11/+10
2022-05-13Add bound_type_ofJack Huey-11/+11
2022-05-13For non-defining opaque type usage errors, don't try to also prove all trait ...Oli Scherer-0/+101
2022-05-13Check that closures satisfy their where boundsOli Scherer-8/+16
2022-05-12Auto merge of #95562 - lcnr:attr-no-encode, r=davidtwcobors-6/+4
2022-05-11Gracefully fail to resolve associated items instead of `delay_span_bug`.Camille GILLOT-75/+16
2022-05-10Introduce EarlyBinderJack Huey-58/+62
2022-05-10Auto merge of #96736 - oli-obk:tait_missing_wf_check, r=davidtwcobors-3/+71
2022-05-10Use InternedObligationCauseCode everywhereOli Scherer-11/+11
2022-05-10Make `FunctionArgumentObligation` also use the "no allocation for misc" trickOli Scherer-1/+1
2022-05-10Make the derived obligation cause parent privateOli Scherer-11/+10
2022-05-10Add a helper function for a common piece of codeOli Scherer-55/+17
2022-05-10Remove `clone_code` methodOli Scherer-23/+14
2022-05-10Remove another use of clone_codeOli Scherer-12/+10
2022-05-10only_local: always check for misuselcnr-6/+4
2022-05-10Move an extension trait method onto the type directly and reuse itOli Scherer-45/+4
2022-05-10Don't lose an obligation causeOli Scherer-2/+0
2022-05-10Remove some unnecessary clonesOli Scherer-19/+17
2022-05-10Simplify derived obligation peelingOli Scherer-15/+5
2022-05-10Check hidden types for well formedness at the definition site instead of only...Oli Scherer-3/+71
2022-05-10update coherence docs, fix opaque type + generator icelcnr-22/+35
2022-05-10Auto merge of #96808 - cjgillot:impossible-trait, r=compiler-errorsbors-0/+14
2022-05-10Auto merge of #96715 - cjgillot:trait-alias-loop, r=compiler-errorsbors-1/+2
2022-05-08Rollup merge of #96617 - ken-matsui:fix-incorrect-syntax-suggestion-with-pub-...Matthias Krüger-9/+19
2022-05-08Fix incorrect syntax suggestion with `pub async fn`Ken Matsui-9/+19
2022-05-07Do not report overflow error.Camille GILLOT-0/+3
2022-05-07Cleanup opaque type storage after checking impossible predicates.Camille GILLOT-0/+3