asd
  Merge branch 'master' of https://github.com/UCSD-PL/RefScript
  Merge branch 'master' of https://github.com/UCSD-PL/RefScript
adding tests for no-undef-check
Merge branch 'master' into union_undefined

Conflicts:
	tests/pos/unions/use-00.ts