Function sendable 

pub fn sendable(
    ty: &Ty,
    types: &BTreeMap<Arc<str>, TyDecl>,
) -> Result<(), NotSendable>

May a value of this type cross a tier boundary? §3.5: “Boundary crossings require Sendable; secret[T] isn’t.”