Attachment: Download

duplicates:

• SR-5581 Proper support for protocol 'where' clause with constraints on 'Self'

Issue Description:

Sample project to reproduce the crash is attached or can be downloaded at https://github.com/ksoftllc/DynamicStackBufferOverflow. It will crash on launch.

The following code accesses an instance of a UIViewController using the this protocol interface:

    protocol DrawerView where Self: UIViewController {
        func configureDrawer(containerView: UIView, overlaidView: UIView)
    }

Here is the site of the call:

        let drawerView = vc as DrawerView
        drawerView.configureDrawer(containerView: drawerContainer, overlaidView: overlaidView)

If you remove the where clause from the protocol, the app will not crash and will function as expected:

    protocol DrawerView {
        func configureDrawer(containerView: UIView, overlaidView: UIView)
    }