(* TEST_BELOW
Filler_text_added_to_preserve_location
s_while_translating_from_old_syn
tax__Filler_text_
added_to_preserve_locations_whi
*)

class ['a] list = object end
type 'a t = int #list as 'a
  (* Here, "int #list" must be understood as a type.
     Another interpretation would be to understand just "int"
     as a type and view "#list" as a toplevel directive.
     A syntax error would then be reported at "as". *)

type 'a u = A of int #list

type 'a v = A of int * int #list

(* TEST
 flags = "-stop-after parsing -dparsetree";
 setup-ocamlc.byte-build-env;
 ocamlc.byte;
 check-ocamlc.byte-output;
*)