Conditional conformance to non-marker protocol cannot depend on conformance of 'T' to non-marker protocol 'Sendable'

Why the error message says "non-marker protocol 'Dev'" when its a Marker protocol?

protocol Dev {}
class Emp<T> {}
extension Emp: Dev where T: Sendable {}

Arent both Dev and Sendable a Marker protocol? [check screenshot]

1 Like

A marker protocol is (for now) a compiler-internal feature using the underscored attribute @_marker. For practical purposes, the diagnostics is really saying for end users that you can only conditionally conform a protocol to Sendable based on a Sendable constraint.

2 Likes