Method dispatch and constraints

Description

The following code defines two methods f with one argument. The first one is generic and the second one is specialized on the type Long. Even if the method f is called with an argument of type Long, the constraint of the generic method is checked and raised an error.

The error message is

Environment

None

Status

Assignee

Unassigned

Reporter

Louis Mandel

Labels

None

Fix versions

Priority

Medium
Configure