From 4a633daea67cd2961c461396f20b7e7ce74795a5 Mon Sep 17 00:00:00 2001 From: Chris Rybicki Date: Fri, 27 Sep 2024 15:47:08 -0400 Subject: [PATCH] update comment --- packages/@winglang/wingc/src/type_check.rs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/packages/@winglang/wingc/src/type_check.rs b/packages/@winglang/wingc/src/type_check.rs index 5de84b0b5d8..0679fbc58b9 100644 --- a/packages/@winglang/wingc/src/type_check.rs +++ b/packages/@winglang/wingc/src/type_check.rs @@ -97,10 +97,8 @@ where pub type TypeRef = UnsafeRef; // Comparing typerefs may be imprecise because the compiler doesn't do any de-duplication -// of types -- so it's possible two function types with different spans will be considered -// different typerefs, even though they represent the same type. -// But this is ok if you are only using them for classes, enums, structs, and interfaces, -// as these are all unique / nominally typed. +// of types. For example, it's possible two function types or Array types created from different spans +// will be considered different typerefs, even though they represent the same type. impl Hash for TypeRef { fn hash(&self, state: &mut H) {