{"ast_node_type":"import","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
                // delay a bug because we can have trivially false where clauses, so we
                // has a trivially false `Sized` predicate). If it's the latter, we cannot
                // treat it as rigid.