{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//"}]}
    // We can show the user the subst for the underlying type instead but that'll be very confusing.
    // It is very hard to support subst for type aliases properly in all places because they are eagerly evaluated.
    check(