summaryrefslogtreecommitdiffstats
path: root/src/test/incremental/issue-92163-missing-sourcefile/issue_92163_main.rs
blob: e9219c6f5ab29678f45d9ae086c0c7ee959e7015 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
// aux-build:first_crate.rs
// aux-build:second_crate.rs
// revisions:rpass1 rpass2

// Regression test for issue #92163
// Under certain circumstances, we may end up trying to
// decode a foreign `Span` from the incremental cache, without previously
// having imported the `SourceFile`s from the owning crate. This can happen
// if the `Span` comes from a transitive dependency (so we never try to resolve
// items from the crate during expansion/resolution).
//
// Previously, this would result in an ICE, since we would not have loaded
// the corresponding `SourceFile` for the `StableSourceFileId` we decoded.
// This test verifies that the decoding of a foreign `Span` will always
// try to import the `SourceFile`s from the foreign crate, instead of
// relying on that having already happened during expansion.

extern crate second_crate;

pub struct Outer;

impl Outer {
    pub fn use_it() {
        // This returns `first_crate::Foo`, causing
        // us to encode the `AdtDef `first_crate::Foo` (along with its `Span`s)
        // into the query cache for the `TypeckResults` for this function.
        second_crate::make_it();
    }
}

fn main() {}