Function find_unreachable_code_from 

fn find_unreachable_code_from<'tcx>(
    bb: BasicBlock,
    body: &Body<'tcx>,
) -> Option<(SourceInfo, &'static str)>

Starting at a target unreachable block, find some user code to lint as unreachable