Trait chalk_ir::AsParameters

pub trait AsParameters<I: Interner> {
    // Required method
    fn as_parameters(&self, interner: I) -> &[GenericArg<I>];
}

Convert a value to a list of parameters.

Required Methods

fn as_parameters(&self, interner: I) -> &[GenericArg<I>]

Convert the current value to parameters.

Implementations on Foreign Types

impl<I: Interner> AsParameters<I> for Vec<GenericArg<I>>

fn as_parameters(&self, _interner: I) -> &[GenericArg<I>]

impl<I: Interner> AsParameters<I> for [GenericArg<I>; 1]

fn as_parameters(&self, _interner: I) -> &[GenericArg<I>]

impl<I: Interner> AsParameters<I> for [GenericArg<I>]

fn as_parameters(&self, _interner: I) -> &[GenericArg<I>]

impl<T, I: Interner> AsParameters<I> for &T

where T: ?Sized + AsParameters<I>,

fn as_parameters(&self, interner: I) -> &[GenericArg<I>]

Implementors

impl<I: Interner> AsParameters<I> for Substitution<I>