Records don't seem to be working right

[marcoscaceres]

Given:

dictionary Foo {
  record<DOMString, USVString> keys;
};

Getting:

base-runner.js:47 TypeError: Cannot read property 'nullable' of undefined
    at idlType2Text (webidl.js:235)
    at idlType2Text (webidl.js:270)
    at idlType2Text (webidl.js:267)
    at webidl.js:536
    at Array.forEach (<anonymous>)
    at writeDefinition (webidl.js:527)
    at webidl.js:503
    at Array.map (<anonymous>)
    at makeMarkup (webidl.js:502)
    at HTMLPreElement.<anonymous> (webidl.js:1171)

It's affecting spec:
https://w3c.github.io/push-api/#dom-pushsubscription

[marcoscaceres]

Sorry, wrong repo