fn typetree_from_ty_impl<'tcx>( tcx: TyCtxt<'tcx>, ty: Ty<'tcx>, depth: usize, visited: &mut Vec<Ty<'tcx>>, ) -> TypeTree
Implementation of TypeTree generation logic.