Rust: No se puede implicar Drop para un tipo genérico con un atributo de rango superior vinculado

Creado en 17 ago. 2015  ·  3Comentarios  ·  Fuente: rust-lang/rust

Si intento compilar este programa:

pub trait Foo<'a> {}

pub struct Bar<T> where T: for<'a> Foo<'a> {
    _phantom: ::std::marker::PhantomData<T>,
}

impl <T> Drop for Bar<T> where T: for<'a> Foo<'a> {
    fn drop(&mut self) {}
}

fn main() {}

Recibo este mensaje de error claramente falso:

$ rustc test.rs
test.rs:7:1: 9:2 error: The requirement `for<'a> T : Foo<'a>` is added only by the Drop impl. [E0367]
test.rs:7 impl <T> Drop for Bar<T> where T: for<'a> Foo<'a> {
test.rs:8     fn drop(&mut self) {}
test.rs:9 }
test.rs:7:1: 9:2 help: run `rustc --explain E0367` to see a detailed explanation
test.rs:3:1: 5:2 note: The same requirement must be part of the struct/enum definition
test.rs:3 pub struct Bar<T> where T: for<'a> Foo<'a> {
test.rs:4     _phantom: ::std::marker::PhantomData<T>,
test.rs:5 }

Intenté jugar con él para que se revisara a máquina, pero nada funcionó.

$ rustc --version --verbose
rustc 1.4.0-nightly (e822a18ae 2015-08-16)
binary: rustc
commit-hash: e822a18ae7d55cefc332c6598a607cef0554ec77
commit-date: 2015-08-16
host: x86_64-apple-darwin
release: 1.4.0-nightly
A-destructors A-traits A-typesystem C-bug T-compiler

Comentario más útil

Lo mismo aquí, acabo de tropezar con este problema. ¿Cómo va esto? El problema ha estado ahí durante 3 años.

Todos 3 comentarios

cc @pnkfelix

Lo mismo aquí, acabo de tropezar con este problema. ¿Cómo va esto? El problema ha estado ahí durante 3 años.

Afectándome también. ¿Bache?

¿Fue útil esta página
0 / 5 - 0 calificaciones