Struct rustc_ast::ast::TyAliasWhereClause

pub struct TyAliasWhereClause(pub bool, pub Span);

The location of a where clause on a TyAlias (Span) and whether there was a where keyword (bool). This is split out from WhereClause, since there are two locations for where clause on type aliases, but their predicates are concatenated together.

Take this example:

trait Foo {
  type Assoc<'a, 'b> where Self: 'a, Self: 'b;
}
impl Foo for () {
  type Assoc<'a, 'b> where Self: 'a = () where Self: 'b;
  //                 ^^^^^^^^^^^^^^ first where clause
  //                                     ^^^^^^^^^^^^^^ second where clause
}

If there is no where clause, then this is false with DUMMY_SP.

Tuple Fields

0: bool

1: Span

Trait Implementations

impl Clone for TyAliasWhereClause

fn clone(&self) -> TyAliasWhereClause

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TyAliasWhereClause

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<__D: Decoder> Decodable<__D> for TyAliasWhereClause

fn decode(__decoder: &mut __D) -> Self

impl Default for TyAliasWhereClause

fn default() -> TyAliasWhereClause

Returns the “default value” for a type.

impl<__E: Encoder> Encodable<__E> for TyAliasWhereClause

fn encode(&self, __encoder: &mut __E)

impl Copy for TyAliasWhereClause

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 12 bytes