This test is meant to check the resolution of Bug 5223.

Following the text of the resolution of this bug:

(b) If exactly one of the atomic values is an instance of xs:untypedAtomic, it
is cast to a type depending on the other value's dynamic type T according to
the following rules, in which V denotes the value to be cast:
(b4) In all other cases, V is cast to the primitive base type of T 

Here T = xs:NCName, and the primitive base type of T is xs:string.

Since

xs:untypedAtomic('1') cast as xs:string

would not raise FORG0001, why is this the expected error?

(:*******************************************************:)
(: Test: GenCompEq-2                                     :)
(: Written by: Sorin Nasoi                               :)
(: Date: 2009-05-01+02:00                                :)
(: Purpose: General comparison where one of the types is :)
(: xs:untypedAtomic and the other xs:NCName.             :)
(: Expected error FORG0001.                              :)
(:*******************************************************:)

xs:untypedAtomic("1") = xs:NCName("string")