fn check_asm<'tcx>(tcx: TyCtxt<'tcx>, body: &'tcx Body<'tcx>, fn_span: Span)
Checks that function body contains a single inline assembly block.