{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
                // `ty` contains free regions that we created earlier while liberating the
            Ok(ty) => {
                // trait fn signature. However, projection normalization expects `ty` to