std::kinds
std::markers
std::kinds::marker
[breaking-change]
Implement support in the parser for generalized where clauses, as well as the conversion of ast::WherePredicates to ty::Predicate in `collect.rs`.