[][src]Static rustc_ap_rustc_session::lint::builtin::TRIVIAL_CASTS

pub static  TRIVIAL_CASTS: &Lint

The trivial_casts lint detects trivial casts which could be replaced with coercion, which may require type ascription or a temporary variable.

Example

This example deliberately fails to compile
#![deny(trivial_casts)]
let x: &u32 = &42;
let y = x as *const u32;

{{produces}}

Explanation

A trivial cast is a cast e as T where e has type U and U is a subtype of T. This type of cast is usually unnecessary, as it can be usually be inferred.

This lint is "allow" by default because there are situations, such as with FFI interfaces or complex type aliases, where it triggers incorrectly, or in situations where it will be more difficult to clearly express the intent. It may be possible that this will become a warning in the future, possibly with type ascription providing a convenient way to work around the current issues. See RFC 401 for historical context.