Struct rustc::ty::TypeContents [] [src]

pub struct TypeContents {
    pub bits: u64,
}
🔬 This is a nightly-only experimental API. (rustc_private)

Type contents is how the type checker reasons about kinds. They track what kinds of things are found within a type. You can think of them as kind of an "anti-kind". They track the kinds of values and thinks that are contained in types. Having a larger contents for a type tends to rule that type out from various kinds. For example, a type that contains a reference is not sendable.

The reason we compute type contents and not kinds is that it is easier for me (nmatsakis) to think about what is contained within a type than to think about what is not contained within a type.

Fields

🔬 This is a nightly-only experimental API. (rustc_private)

Methods

impl TypeContents
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

Trait Implementations

impl Clone for TypeContents
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl Copy for TypeContents
[src]

impl BitOr for TypeContents
[src]

The resulting type after applying the | operator

The method for the | operator

impl BitAnd for TypeContents
[src]

The resulting type after applying the & operator

The method for the & operator

impl Sub for TypeContents
[src]

The resulting type after applying the - operator

The method for the - operator

impl Debug for TypeContents
[src]

Formats the value using the given formatter.