Function rustc_ty_utils::representability::ty_is_representable

pub fn ty_is_representable<'tcx>(
    tcx: TyCtxt<'tcx>, 
    ty: Ty<'tcx>, 
    sp: Span
) -> Representability

Check whether a type is representable. This means it cannot contain unboxed structural recursion. This check is needed for structs and enums.