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