pub fn type_allowed_to_implement_const_param_ty<'tcx>(
tcx: TyCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
self_type: Ty<'tcx>,
parent_cause: ObligationCause<'tcx>,
) -> Result<(), ConstParamTyImplementationError<'tcx>>
Expand description
Checks that the fields of the type (an ADT) all implement ConstParamTy
.
If fields don’t implement ConstParamTy
, return an error containing a list of
those violating fields.
If it’s not an ADT, int ty, bool
or char
, returns Err(NotAnAdtOrBuiltinAllowed)
.