]> git.lizzy.rs Git - rust.git/blobdiff - src/test/ui/chalkify/lower_env2.rs
Update const_forget.rs
[rust.git] / src / test / ui / chalkify / lower_env2.rs
index 0b50dbfdf95c6714b8c9c9c87940b86c25543c31..a067575a9cfd2bfc5d1e9e41d3c7b6270612f2b5 100644 (file)
@@ -1,25 +1,15 @@
-// Copyright 2018 The Rust Project Developers. See the COPYRIGHT
-// file at the top-level directory of this distribution and at
-// http://rust-lang.org/COPYRIGHT.
-//
-// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
-// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
-// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
-// option. This file may not be copied, modified, or distributed
-// except according to those terms.
-
 #![feature(rustc_attrs)]
 #![allow(dead_code)]
 
 trait Foo { }
 
 #[rustc_dump_program_clauses] //~ ERROR program clause dump
-struct S<'a, T> where T: Foo {
+struct S<'a, T: ?Sized> where T: Foo {
     data: &'a T,
 }
 
 #[rustc_dump_env_program_clauses] //~ ERROR program clause dump
-fn bar<'a, T: Foo>(x: S<T>) {
+fn bar<T: Foo>(_x: S<'_, T>) { // note that we have an implicit `T: Sized` bound
 }
 
 fn main() {