Trait chalk_ir::AsParameters

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

Convert a value to a list of parameters.

Required Methods§

source

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

Convert the current value to parameters.

Implementations on Foreign Types§

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

impl<T, I: Interner> AsParameters<I> for &T
where T: ?Sized + AsParameters<I>,

source§

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

Implementors§