-
Notifications
You must be signed in to change notification settings - Fork 5.4k
Open
Labels
compilerGeneral compiler. Should eventually become more specific as the issue is triagedGeneral compiler. Should eventually become more specific as the issue is triagedcompiler: frontendEverything to do with type checking, control flow analysis, and everything between parsing and IRgenEverything to do with type checking, control flow analysis, and everything between parsing and IRgenteam:compilerCompiler TeamCompiler Team
Description
#7387 adds TypeInfoDisplay
which provide basic flexibility in displaying types in various contexts. We want to have additional flexibility here, for example:
- Types from
std
prelude likeOption
orVec
can in many situations be displayed without the full path. This will very likely be the standard behavior for such types for most of the errors and warnings. - For types from the local crate, we mostly do not want to display the crate name by default, but just in some situations.
For additional examples, Rust behavior can be taken as a good guiding example.
Note that the choice of display is always up to a specific error or warning. TypeInfoDisplay
should provide options to support different scenarios.
Metadata
Metadata
Assignees
Labels
compilerGeneral compiler. Should eventually become more specific as the issue is triagedGeneral compiler. Should eventually become more specific as the issue is triagedcompiler: frontendEverything to do with type checking, control flow analysis, and everything between parsing and IRgenEverything to do with type checking, control flow analysis, and everything between parsing and IRgenteam:compilerCompiler TeamCompiler Team