tree 1f855ec1df7b31eb5d7ae940a0b1115eb9150cb3
parent 9bdc9aaceb8f12f7c3d3ee205021bfcea09d958f
parent 6086ced61dec91d81559ee666481628152113260
author bors <bors@rust-lang.org> 1688329638 +0000
committer bors <bors@rust-lang.org> 1688329638 +0000

Auto merge of #15199 - lowr:patch/revert-15125, r=lowr

Revert "Support `#[rustc_coinductive]`"

Reverts #15125, addresses https://github.com/rust-lang/rust-analyzer/pull/15125#issuecomment-1615517893

I'll add the support again once I figure out the problem.