Sign in
android
/
toolchain
/
rustc
/
refs/heads/upstream-master-backup
/
.
/
src
/
test
/
ui
/
nll
/
relate_tys
/
fn-subtype.rs
blob: ac00627ad00ebfb941165f8fc6bb78ae3d8ce29b [
file
] [
log
] [
blame
]
// Test that NLL produces correct spans for higher-ranked subtyping errors.
//
// compile-flags:-Zno-leak-check
#![
feature
(
nll
)]
fn
main
()
{
let
x
:
fn
(&
'
static
())
=
|
_
|
{};
let
y
:
for
<
'a> fn(&'
a
())
=
x
;
//~ ERROR higher-ranked subtype error
}