Function opaque_ty 

pub(crate) fn opaque_ty(ty: &Option<Box<Ty>>) -> Option<&GenericBounds>