Open Radar

 
Summary:
Swift compiler segfaults when compiling the code described in the "Steps to reproduce" section.

Steps to Reproduce:
1. Install and open Xcode 6.0 Beta 6 (6A280e)
2. Create a new Swift project from OS X Command Line template (just for example)
3. Replace the contents of main.swift with the following code:

    protocol FirstProtocol {
        typealias FirstType
    }

    struct FirstStruct <T: FirstProtocol> {
        let foo: T
        let bar: T.FirstType
    }

    protocol SecondProtocol {
        typealias SecondType
        func baz <T where T.FirstType == SecondType> (f: FirstStruct<T>)
    }

    struct SecondStruct: SecondProtocol {
        typealias SecondType = Int
        func baz <T where T.FirstType == SecondType> (f: FirstStruct<T>) {}
    }

4. Build the code

Expected Results:
Build succeeds with no compile errors.

Actual Results:
Swift compiler crashes with segmentation fault error.

Version:
Xcode 6.0 Beta 6 (6A280e)
OS X 10.9.4 (13E28)
MacPro5,1

Notes:
Issue can be fixed by either removing "bar" property declaration from the "FirstStruct" or removing the "SecondProtocol" comformance from "SecondStruct".

Configuration:
Issue is always reproducible, regardless of the SDK or other build configuration.

Attachments:
'segfault.log' was successfully uploaded.

--- 29-Aug-2014 06:22 PM

Constraining T to be a FirstProtocol in SecondProtocol does not fix the issue.

Related Apple Developer Forums thread: https://devforums.apple.com/message/1031654

--- 11-Feb-2015 02:34 PM

This issue has been verified as resolved and can be closed.