pub fn evaluate_apply( ctx: Context, value: &LocExpr, args: &ArgsDesc, loc: CallLocation<'_>, tailstrict: bool) -> Result<Val>