[SR-7312] Conforming to protocol using constrained generic #49860
Labels
compiler
The Swift compiler in itself
conformances
Feature → protocol: protocol conformances
duplicate
Resolution: Duplicates another issue
feature
A feature request or implementation
improvement
protocol
Feature → type declarations: Protocol declarations
type checker
Area → compiler: Semantic analysis
Environment
Apple Swift version 4.1 (swiftlang-902.0.48 clang-902.0.39.1)
MacOS High Sierra 10.13.3
Additional Detail from JIRA
md5: 5f5dcbf98e3828cb5594b010415dac60
duplicates:
Issue Description:
I would expect this to compile:
Instead I get a compiler warning:
C<T> does not conform to protocol B
. Note thatT: A
.If I change the definition of
C
to:then all is well.
The text was updated successfully, but these errors were encountered: