Module rustc_infer::infer::higher_ranked

Helper routines for higher-ranked things. See the doc module at the end of the file for details.