about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
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-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
2020-10-05Rollup merge of #75928 - JulianKnodt:non_utf8, r=estebankDylan DPC-0/+5
2020-10-03Replace some once(x).chain(once(y)) with [x, y] IntoIterScott McMurray-2/+3
2020-10-01Rollup merge of #77305 - lcnr:candidate_from_obligation, r=davidtwcoDylan DPC-156/+161
2020-10-01Rollup merge of #77303 - lcnr:const-evaluatable-TooGeneric, r=oli-obk,varkorDylan DPC-34/+150
2020-09-28move candidate_from_obligation_no_cacheBastian Kauschke-156/+161
2020-09-28const evaluatable: improve `TooGeneric` handlingBastian Kauschke-34/+150
2020-09-26Revert "Add an unused field of type `Option<DefId>` to `ParamEnv` struct."Dylan MacKenzie-1/+1
2020-09-26MiniSet/MiniMap moved and renamed into SsoHashSet/SsoHashMapValerii Lashmanov-3/+3
2020-09-26Rollup merge of #77211 - est31:remove_unused_allow, r=oli-obkRalf Jung-2/+1
2020-09-26Rollup merge of #77093 - lcnr:const-generics-infer-warning, r=varkorRalf Jung-16/+21
2020-09-26rename functionsBastian Kauschke-7/+21
2020-09-26Remove unused #[allow(...)] statements from compiler/est31-2/+1
2020-09-25Rollup merge of #77155 - lcnr:ImplSource, r=ecstatic-morseJonas Schievink-41/+36
2020-09-25Auto merge of #77041 - lcnr:const-eval-perf, r=ecstatic-morsebors-18/+27
2020-09-25Rollup merge of #77121 - duckymirror:html-root-url, r=jyn514Jonas Schievink-1/+1
2020-09-24perf: split progress_obligations with inline(never)Bastian Kauschke-18/+27
2020-09-24remove enum name from ImplSource variantsBastian Kauschke-41/+36
2020-09-24assign the correct `DefId` in `nominal_obligations`Bastian Kauschke-4/+16
2020-09-23/nightly/nightly-rustcErik Hofmayer-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 17:36:39 +0000