type t = %extension
type t = @attr %extension

external foo: %extension = "primitive"
external foo: @attr %extension = "primitive"

let x: %extension = z
let x: @attr %extension = z
