Fix testcase to actually emit d.ts file
Regression tests