Presumably when the library says "is convertible to" it means "is implicitly convertible to"? We should fix up all 40 instances of "is convertible to" in the library wording to say what they mean. (The library uses the form "T1 is convertible to T2", which is also wrong: expressions are / are not implicitly convertible to types, but it's not meaningful to convert one type to another type.)