Missing expected errors when type alias is used recursively in generic type parameter

[jedwards1211]

// @flow
type Stuff<T> = {[string]: T | Stuff<T>}
const stuff: Stuff<number> = { a: { b: 'not a number' } } // errors as expected

type Record<K, V> = {[K]: V}
type RecordStuff<T> = Record<string, T | RecordStuff<T>>
const recordStuff: RecordStuff<number> = { a: { b: 'not a number' } } // should error, but doesn't

TypeScript reports a circular reference error in the recordStuff case but not the stuff case. Seems like there's something hard about supporting types like this, but I don't understand why it would be impossible?

Flow version: 0.164.0

Expected behavior

stuff and recordStuff have the same error

Actual behavior

No error on recordStuff

• Link to Try-Flow or Github repo: https://flow.org/try/#0PTAEAEDMBsHsHcBQAXAngBwKagMrIK6SQA8AKgHygC8oA3gNoDOyATgJYB2A5gLoBcoUqAA+uAkTLkAvogDGsDs1DNCkAXlXEO+ALYAjTC0o1aoAIYDTegQHIOsZOdDb9hm6CkfQIUIZawWRnMgzAAPLFlkTAATRBQMbAAlTHkWaOIAaQAaUAA1Yzp6DP48mTQsUGTU6I0JCmpKlID05nZuHKFRKubakgpyOQUlFia03oFusfESFwMjBtMLOlBrUDsHJ1m3L08fRgALWHxoaN8WfxYcvXxHaNhMRg4bZEQgA