fn file_contains(file: &SourceFile, pos: BytePos) -> bool