Module fast_path 

This file contains a number of standalone functions useful for taking fast paths in the trait solver. The exact place where we check for these fast paths changes, and matters a lot for performance. Ideally we’d only check them in evaluate_goal, but when evaluating root goals we can check them earlier and save some time creating an EvalCtxt in the first place.

For debugging, fast paths can be disabled using -Zdisable-fast-paths.

Functions

compute_goal_fast_path

This is a fast path optimization: See the docs on ComputeGoalFastPathOutcome