Function classify 

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

Whether ty is pointer-bearing (Ref/RawPtr/Adt), returning whether it is an owned container (Box/Vec/… — a forest root) when it is.