-- This should fail to compile with a type error on the line marked below.

CHAN TYPE FOO
  MOBILE RECORD
    CHAN INT x?:
:

CHAN TYPE BAR
  MOBILE RECORD
    CHAN BOOL y?:
:

PROC main ()
  INITIAL MOBILE []FOO! clis IS MOBILE [10]FOO!:
  INITIAL MOBILE []FOO? svrs IS MOBILE [10]FOO?:
  clis[0], svrs[0] := MOBILE BAR   -- type error here; BAR should be FOO
:
