hasNoDefaultLib

lib.d.ts should have a reference comment like

///

If any other file has this comment, it signals not to include lib.d.ts because this containing file is intended to act as a default library.