Stable type identifiers: a missing piece for crABI and export

What is the "full path to the type"? I think this does not address the fact that two types can have identical paths, in case multiple different version of the same crate are present in the dependency graph. Neither does it address what happens if two builds do not share the Cargo.lock file and end up pulling the same type from two different minor versions of a crate.