Inductive T : let U := Type in U := t. (* Anomaly: not an arity. Please report. *)