summaryrefslogtreecommitdiff
path: root/src/mir/check.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/mir/check.cpp')
-rw-r--r--src/mir/check.cpp8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/mir/check.cpp b/src/mir/check.cpp
index 4b9dfd8b..f669623a 100644
--- a/src/mir/check.cpp
+++ b/src/mir/check.cpp
@@ -689,7 +689,7 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path
// TODO: Check suitability of source type (COMPLEX)
),
(BinOp,
- /*
+ /*
::HIR::TypeRef tmp_l, tmp_r;
const auto& ty_l = state.get_lvalue_type(tmp_l, e.val_l);
const auto& ty_r = state.get_lvalue_type(tmp_r, e.val_r);
@@ -723,7 +723,7 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path
ity_p = &*ty.m_data.as_Pointer().inner;
else {
MIR_BUG(state, "DstMeta requires a &-ptr as input, got " << ty);
- }
+ }
const auto& ity = *ity_p;
if( ity.m_data.is_Generic() )
;
@@ -757,7 +757,7 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path
ity_p = &*ty.m_data.as_Pointer().inner;
else {
MIR_BUG(state, "DstPtr requires a &-ptr as input, got " << ty);
- }
+ }
const auto& ity = *ity_p;
if( ity.m_data.is_Slice() )
;
@@ -785,7 +785,7 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path
ity_p = &*te->inner;
else {
MIR_BUG(state, "DstMeta requires a pointer as output, got " << ty);
- }
+ }
assert(ity_p);
auto meta = get_metadata_type(state, *ity_p);
if( meta == ::HIR::TypeRef() )