Content-Length: 12970 | pFad | https://doc.rust-lang.org/reference/../../std/../error_codes/./E0476.html

E0476 - Error codes index

Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Error code E0476

The coerced type does not outlive the value being coerced to.

Example of erroneous code:

#![allow(unused)]
#![feature(coerce_unsized)]
#![feature(unsize)]

fn main() {
use std::marker::Unsize;
use std::ops::CoerceUnsized;

// error: lifetime of the source pointer does not outlive lifetime bound of the
//        object type
impl<'a, 'b, T, S> CoerceUnsized<&'a T> for &'b S where S: Unsize<T> {}
}

During a coercion, the "source pointer" (the coerced type) did not outlive the "object type" (value being coerced to). In the above example, 'b is not a subtype of 'a. This error can currently only be encountered with the unstable CoerceUnsized trait which allows custom coercions of unsized types behind a smart pointer to be implemented.









ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: https://doc.rust-lang.org/reference/../../std/../error_codes/./E0476.html

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy