We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b5d86fd commit 00d0eb8Copy full SHA for 00d0eb8
toolchain/check/convert.cpp
@@ -1100,8 +1100,7 @@ static auto PerformBuiltinConversion(
1100
// Type values can convert to facet values, and facet values can convert to
1101
// other facet values, as long as they satisfy the required interfaces of the
1102
// target `FacetType`.
1103
- if (target.type_id != value_type_id &&
1104
- sem_ir.types().Is<SemIR::FacetType>(target.type_id) &&
+ if (sem_ir.types().Is<SemIR::FacetType>(target.type_id) &&
1105
(sem_ir.types().Is<SemIR::TypeType>(value_type_id) ||
1106
sem_ir.types().Is<SemIR::FacetType>(value_type_id))) {
1107
// The value is a type or facet value, so it has a constant value. We get
0 commit comments