is_{or_none|some_and}
best_blame_constraint
For more information about how rustc works, see the rustc dev guide.
Yotam Ofek