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