fn analysis(tcx: TyCtxt<'_>, (): ())
Runs the type-checking, region checking and other miscellaneous analysis passes on the crate.