fn create_const_value_function( tcx: TyCtxt<'_>, cx: &GenericCx<'_, SCx<'_>>, name: &str, output: &Type, value: &Value, )