Constant check_representability_adt_ty 

pub const check_representability_adt_ty: &str = "check_representability_adt_ty";