pub fn validate_lambda<'a, 'b>( tpe: &'a TreeType, args: &'a Arguments, calls: &'a Calls, ) -> Result<(), &'b str>