1--TEST--
2Calling closedir() without argument and without opening a directory beforehand
3--FILE--
4<?php
5try {
6    closedir();
7} catch (TypeError $e) {
8    echo $e->getMessage(), "\n";
9}
10?>
11--EXPECT--
12No resource supplied
13