-- Next test for the case where the target type is within the bounds
-- of the base type of the source type, since in this case we can
- -- simply convert the bounds of the target type to this base bype
+ -- simply convert the bounds of the target type to this base type
-- to do the test.
-- [constraint_error when N not in