Function create_const_value_function 

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