about summary refs log tree commit diff
path: root/src/test/ui/thinlto
diff options
context:
space:
mode:
authorMazdak Farrokhzad <twingoow@gmail.com>2019-03-19 15:16:45 +0100
committerGitHub <noreply@github.com>2019-03-19 15:16:45 +0100
commitc1975dbd34a69565cd0a66770377ed9bfc85fa35 (patch)
tree4277a8ba6453018aa8a1d4a91176eca93bb0969a /src/test/ui/thinlto
parentd4dd8604eb76683e1bb613cc35d3ad970f4d372f (diff)
parent4e5692d9858d298f27757579688c71ba494cb5c3 (diff)
downloadrust-c1975dbd34a69565cd0a66770377ed9bfc85fa35.tar.gz
rust-c1975dbd34a69565cd0a66770377ed9bfc85fa35.zip
Rollup merge of #57729 - pnkfelix:issue-55748-pat-types-are-constraints-on-bindings-too, r=nikomatsakis
extra testing of how NLL handles wildcard type `_`

test that wildcard type `_` is not duplicated by `type Foo<X> = (X, X);` and potentially instantiated at different types when used in type ascriptions in let bindings.

(NLL's handling of this for the type ascription *expression form* is currently broken, or at least differs from what AST-borrowck does. I'll file a separate bug about that. Its not something critical to address since that expression is guarded by `#![feature(type_ascription)]`.)

cc #55748
Diffstat (limited to 'src/test/ui/thinlto')
0 files changed, 0 insertions, 0 deletions