about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-10-18Auto merge of #77306 - lcnr:inline-ok, r=eddybbors-4/+7
2020-10-16Review commentsJack Huey-13/+12
2020-10-16map_bound_ref -> rebindJack Huey-37/+32
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-40/+60
2020-10-15Turn Outcome into an opaque type to remove some runtime checksDániel Buga-6/+4
2020-10-15Auto merge of #77873 - sexxi-goose:use_tuple_inference_for_closures, r=nikoma...bors-9/+53
2020-10-14Address commentsRoxane-26/+14
2020-10-14Remove unused code from remaining compiler cratesest31-4/+0
2020-10-13Replace absolute paths with relative onesest31-6/+7
2020-10-12Auto merge of #77792 - matthewjasper:instrument-trait-selection, r=oli-obkbors-290/+166
2020-10-13Rollup merge of #77550 - lcnr:ty-dep-path-ct-cleanup, r=ecstatic-morseYuki Okushi-12/+2
2020-10-11Use tracing spans in rustc_trait_selectionMatthew Jasper-290/+166
2020-10-11traits diagnostics: Don't print closure/generator upvar_tys tupleAman Arora-1/+23
2020-10-11Always return tupled_upvar_tys for Closure/Generator consituent tysAman Arora-20/+4
2020-10-11Replace tuple of infer vars for upvar_tys with single infer varRoxane-21/+71
2020-10-09Add find_map_relevant_implDániel Buga-9/+3
2020-10-07normalize substs during inliningBastian Kauschke-3/+6
2020-10-07normalize in codegen_fulfill_obligationsBastian Kauschke-4/+4
2020-10-06Fix tests from rebaseMatthew Jasper-17/+18
2020-10-06Fix rebaseMatthew Jasper-4/+4
2020-10-06Deduplicate item bounds after normalizationMatthew Jasper-17/+40
2020-10-06Don't require lifetime super-bounds on traits apply to trait objects of that ...Matthew Jasper-14/+17
2020-10-06Normalize super trait bounds when confirming object candidatesMatthew Jasper-9/+20
2020-10-06Fix rebaseMatthew Jasper-71/+5
2020-10-06Fix bootstrapMatthew Jasper-2/+4
2020-10-06Handle multiple trait-def projection candidatesMatthew Jasper-0/+7
2020-10-06Avoid cycles from projection boundsMatthew Jasper-19/+56
2020-10-06Avoid cycle with projections from object typesMatthew Jasper-267/+120
2020-10-06Normalize projection bounds when considering candidatesMatthew Jasper-157/+270
2020-10-06Handle multiple applicable projection candidatesMatthew Jasper-33/+54
2020-10-06Fix bugs in evaluating WellFormed predicatesMatthew Jasper-39/+74
2020-10-06Avoid cycle in nested obligations for object candidateMatthew Jasper-52/+175
2020-10-06Address review commentsMatthew Jasper-4/+37
2020-10-06Fix ICEMatthew Jasper-4/+5
2020-10-06Fix tests and bootstrapMatthew Jasper-8/+16
2020-10-06Ensure that associated types for trait objects satisfy their boundsMatthew Jasper-13/+51
2020-10-06Move some code from rustc_typeck to rustc_trait_selectionMatthew Jasper-0/+56
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-6/+6
2020-10-06Check associated type bounds for object safety violationsMatthew Jasper-39/+62
2020-10-06Check opaque types satisfy their boundsMatthew Jasper-1/+2
2020-10-06Check projections are well-formed when using projection candidatesMatthew Jasper-26/+43
2020-10-06Make projection wf check the predicates for the projectionMatthew Jasper-11/+25
2020-10-06Split bounds from predicatesMatthew Jasper-13/+14
2020-10-06Rename projection_predicates to item_boundsMatthew Jasper-8/+4
2020-10-06Rollup merge of #77559 - camelid:fix-rustdoc-warnings-invalid-rust-syntax, r=...Yuki Okushi-3/+3
2020-10-05FixupCamelid-4/+1
2020-10-05Auto merge of #77171 - VFLashM:better_sso_structures, r=oli-obkbors-3/+3
2020-10-05query_name_of_opt_const_arg -> query_name_opt_const_argBastian Kauschke-2/+2
2020-10-04Fix rustdoc warnings about invalid Rust syntaxCamelid-2/+5
2020-10-05Rollup merge of #77514 - scottmcm:less-once-chain-once, r=estebankDylan DPC-2/+3