Brands in recursive types result in interface being misplaced

[mikesol]

Calling t.brandCombinator on a recursive feild results in something like this:

const Schema: t.RecursiveType<t.Type<Schema>> = t.recursion('Schema', () => t.brand(_Schema, (x): x is t.Branded<_Schema, XPropertiesBrand> => true, 'XProperties')
interface XPropertiesBrand {
  readonly XProperties: unique symbol
})

The interface is placed within the recurisve expression.

That happens because of this line:

io-ts-codegen/src/index.ts

Line 788 in 0be1884

s += `\ninterface ${bc.name}Brand {

One idea for a fix: another function instead of printRuntime (ie printDefinitions) could be used to print this sort of thing.

[gcanti]

Calling t.brandCombinator on a recursive feild

@mikesol could you please post a small repro?