Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Simplify. Check is not only dubious, but included in `adjacent_def_mo…
…difier?`
- Loading branch information