{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":".builtin_deref(true)"}]}
            .builtin_deref(true)
            .ty
            .unwrap_or_else(|| bug!("deref of non-pointer {:?}", self));