fn insert_and_return_handle<'a, 'b>(
            ty: Type,
            subs: &'a mut SubstitutionTable,
            tail: IndexStr<'b>,
        ) -> Result<(TypeHandle, IndexStr<'b>)> {
            let ty = Substitutable::Type(ty);
            let idx = subs.insert(ty);
            let handle = TypeHandle::BackReference(idx);
            Ok((handle, tail))
        }
/// Insert the given type into the substitution table, and return a
/// handle referencing the index in the table where it ended up.
Insert the given type into the substitution table, and return a
handle referencing the index in the table where it ended up.
Insert the given type into the substitution table and return a handle referencing the index in the table where it ended up .
fn insert_and_return_handle<'a, 'b>(
            ty: Type,
            subs: &'a mut SubstitutionTable,
            tail: IndexStr<'b>,
        ) -> Result<(TypeHandle, IndexStr<'b>)> {
            let ty = Substitutable::Type(ty);
            let idx = subs.insert(ty);
            let handle = TypeHandle::BackReference(idx);
            Ok((handle, tail))
        }
fn insert_and_return_handle < ' a , ' b > ( ty : Type , subs : & ' a mut SubstitutionTable , tail : IndexStr < ' b > , ) -> Result < ( TypeHandle , IndexStr < ' b > ) > { let ty = Substitutable :: Type ( ty ) ; let idx = subs . insert ( ty ) ; let handle = TypeHandle :: BackReference ( idx ) ; Ok ( ( handle , tail ) ) }
Insert the given type into the substitution table, and return a
handle referencing the index in the table where it ended up.
Insert the given type into the substitution table and return a handle referencing the index in the table where it ended up .
ty
Type
subs
&'a mut SubstitutionTable
tail
IndexStr<'b>
ty
Type
subs
&'a mut SubstitutionTable
tail
IndexStr<'b>