/// Add a subtype indication already lowered to HIR.
Add a subtype indication already lowered to HIR.
Add a subtype indication already lowered to HIR .
pub fn add_subtype_ind_hir(&self, hir: hir::SubtypeInd) -> Result<SubtypeIndRef> {
        let (mk, _, _) = self.make::<SubtypeIndRef>(hir.span);
        mk.set_hir(hir);
        self.schedule_subtype_ind(&mk);
        Ok(mk.finish())
    }
pub fn add_subtype_ind_hir ( & self , hir : hir :: SubtypeInd ) -> Result < SubtypeIndRef > { let ( mk , _ , _ ) = self . make :: < SubtypeIndRef > ( hir . span ) ; mk . set_hir ( hir ) ; self . schedule_subtype_ind ( & mk ) ; Ok ( mk . finish ( ) ) }
Add a subtype indication already lowered to HIR.
Add a subtype indication already lowered to HIR .
&self
hir
hir::SubtypeInd