fn is_local(ty: Ty<'_>) -> bool