{"ast_node_type":"import","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
    // an error, it must be because of the implied or explicit bounds...
    // If we were able to prove that the type outlives the region without
    errors.is_empty()