This has been bugging me for some time.
best_blame_constraint
For more information about how rustc works, see the rustc dev guide.
Nicholas Nethercote