Uploaded image for project: 'Swift'
  1. Swift
  2. SR-10831

Associated type inference doesn't work when type is fully constrained

    XMLWordPrintable

    Details

    • Type: Bug
    • Status: Open
    • Priority: Medium
    • Resolution: Unresolved
    • Component/s: Compiler
    • Labels:
      None

      Description

      struct G<T> {}
        
      protocol P {
        associatedtype T
        associatedtype U
      }
      
      protocol Q: P where T == G<U> {}
      
      protocol R: Q where U == Int {}
      
      struct X: R {}
      

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              slavapestov Slava Pestov
              Reporter:
              marcpalmer Marc Palmer
              Votes:
              1 Vote for this issue
              Watchers:
              5 Start watching this issue

                Dates

                Created:
                Updated: