Struct rustc_middle::ty::WithOptConstParam[][src]

pub struct WithOptConstParam<T> {
    pub did: T,
    pub const_param_did: Option<DefId>,
}
Expand description

A DefId which, in case it is a const argument, is potentially bundled with the DefId of the generic parameter it instantiates.

This is used to avoid calls to type_of for const arguments during typeck which cause cycle errors.

struct A;
impl A {
    fn foo<const N: usize>(&self) -> [u8; N] { [0; N] }
    //           ^ const parameter
}
struct B;
impl B {
    fn foo<const M: u8>(&self) -> usize { 42 }
    //           ^ const parameter
}

fn main() {
    let a = A;
    let _b = a.foo::<{ 3 + 7 }>();
    //               ^^^^^^^^^ const argument
}

Let’s look at the call a.foo::<{ 3 + 7 }>() here. We do not know which foo is used until we know the type of a.

We only know the type of a once we are inside of typeck(main). We also end up normalizing the type of _b during typeck(main) which requires us to evaluate the const argument.

To evaluate that const argument we need to know its type, which we would get using type_of(const_arg). This requires us to resolve foo as it can be either usize or u8 in this example. However, resolving foo once again requires typeck(main) to get the type of a, which results in a cycle.

In short we must not call type_of(const_arg) during typeck(main).

When first creating the ty::Const of the const argument inside of typeck we have already resolved foo so we know which const parameter this argument instantiates. This means that we also know the expected result of type_of(const_arg) even if we aren’t allowed to call that query: it is equal to type_of(const_param) which is trivial to compute.

If we now want to use that constant in a place which potentionally needs its type we also pass the type of its const_param. This is the point of WithOptConstParam, except that instead of a Ty we bundle the DefId of the const parameter. Meaning that we need to use type_of(const_param_did) if const_param_did is Some to get the type of did.

Fields

did: Tconst_param_did: Option<DefId>

The DefId of the corresponding generic parameter in case did is a const argument.

Note that even if did is a const argument, this may still be None. All queries taking WithOptConstParam start by calling tcx.opt_const_param_of(def.did) to potentially update param_did in the case it is None.

Implementations

Creates a new WithOptConstParam setting const_param_did to None.

Returns Some((did, param_did)) if def_id is a const argument, None otherwise.

In case self is unknown but self.did is a const argument, this returns a WithOptConstParam with the correct const_param_did.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Feeds this value into the given Hasher. Read more

Feeds a slice of this type into the given Hasher. Read more

This method returns an Ordering between self and other. Read more

Compares and returns the maximum of two values. Read more

Compares and returns the minimum of two values. Read more

Restrict a value to a certain interval. Read more

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

This method returns an ordering between self and other values if one exists. Read more

This method tests less than (for self and other) and is used by the < operator. Read more

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

This method tests greater than (for self and other) and is used by the > operator. Read more

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

Returns true if self has any late-bound regions that are either bound by binder or bound by some binder outside of binder. If binder is ty::INNERMOST, this indicates whether there are any late-bound regions that appear free. Read more

Returns true if this self has any regions that escape binder (and hence are not bound by it). Read more

“Free” regions in this context means that it has any region that is not (a) erased or (b) late-bound. Read more

True if there are any un-erased free regions.

Indicates whether this value definitely references only ‘global’ generic parameters that are the same regardless of what fn we are in. This is used for caching. Read more

Indicates whether this value references only ‘global’ generic parameters that are the same regardless of what fn we are in. This is used for caching. Read more

True if there are any late-bound regions

Indicates whether this value still has parameters/placeholders/inference variables which could be replaced later, in a way that would change the results of impl specialization. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

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

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.