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