// parse-fail
type foo = bar
type bar = push-buffer<foo>