Skip to content

Add settings to TypeInfoDisplay for optimal displaying of types in different contexts #7389

@ironcev

Description

@ironcev

#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 like Option or Vec 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 triagedcompiler: frontendEverything to do with type checking, control flow analysis, and everything between parsing and IRgenteam:compilerCompiler Team

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions