Struct polytype::ContextChange

pub struct ContextChange { /* fields omitted */ }

Allow types to be reified for use in a different context. See Context::merge.

Methods

impl ContextChange

pub fn reify(&self, tp: &mut Type)