Type bounds do not play nice with coercions

Description

The following code:

fails to compile with this error:

while changing <: to : makes compilation succeed.
Typechecking partial types should attempt coercing the initializer to the type bound before reporting an error.

Environment

None

Status

Assignee

Unassigned

Reporter

Igor Peshansky

Labels

None

Fix versions

Affects versions

Priority

High
Configure