[PUP-6117] Unexpected result when using a type alias to a recursive variant. - Puppet Jira Server

XML

Word

Printable

Release Notes:
Bug Fix
Release Notes Summary:

Hide
Type aliases that included themselves recursively in a non meaningful way caused the created type to match anything. If you defined something like MyType = Variant[Integer, MyType], it would match anything. Now such constructs are correctly reduced to what they really mean.

Show
Type aliases that included themselves recursively in a non meaningful way caused the created type to match anything. If you defined something like MyType = Variant[Integer, MyType], it would match anything. Now such constructs are correctly reduced to what they really mean.

I would expect this code:

type MixedScalar = Variant[Integer, MixedScalar]

notice(foo =~ MixedScalar)

to output false. Instead it outputs true.

ACCEPTANCE CRITERIA

That the example above produces false.

links to

PR-4830