Codable requires a redundant constraint for nested generic types

[JessyCatterwaul]

This compiles:

enum Namespace<Outer> {
  struct Struct<Inner> where Outer == WhatThisIsDoesNotMatter {
    public var property: Inner
  }
}

typealias WhatThisIsDoesNotMatter = Never

extension Namespace<WhatThisIsDoesNotMatter>.Struct: Encodable where Inner: Encodable { }

Remove the redundant constraint, however, and it does not:

extension Namespace.Struct: Encodable where Inner: Encodable {}

[AnthonyLatsis]

Try a recent toolchain, should be fixed. I can reproduce this with a 5.7.2 compiler, but not with a newer locally built one.