duplicates:

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

Issue Description:

The following code generates error:

error: cannot assign to property: 'self' is immutable

    **x = 1**

class MyClass { }


protocol MyProtocol where Self: MyClass {
    var x: Int { get set }
    
    func mutatingFunc()
}


extension MyProtocol {
    func mutatingFunc() {
        x = 1
    }
}

A workaround is to change protocol definition:

protocol MyProtocol: class where Self: MyClass {

but in this case you get the warning:

Redundant constraint 'Self' : 'AnyObject'