wip

checker/specification/staging.md

@@ -1,3 +1,13 @@
 Currently implementing:
 
 > This file is for work-in-progress and can help separating features that are being implemented to regressions
+
+### Printing
+
+#### Template Literal Type
+
+```ts
+const invalidStr: `Hi${string}` = 'Hello, there!';
+```
+
+- Type "Hello, there!" is not assignable to type `Hi${string}`

checker/src/types/printing.rs

@@ -469,7 +469,39 @@ pub fn print_type_into_buf<C: InformationChain>(
 					unreachable!()
 				}
 			},
-			_constructor => {
+			constructor => {
+				if let Constructor::BinaryOperator { result: result_ty, lhs, rhs, .. } = constructor
+				{
+					if *result_ty != TypeId::NUMBER_TYPE
+						&& !matches!(
+							types.get_type_by_id(*result_ty),
+							Type::PartiallyAppliedGenerics(_) | Type::RootPolyType(_)
+						) {
+						buf.push('`');
+						{
+							let ty = types.get_type_by_id(*lhs);
+							if let Type::Constant(cst) = ty {
+								buf.push_str(&cst.as_js_string());
+							} else {
+								buf.push_str("${");
+								print_type_into_buf(*lhs, buf, cycles, args, types, info, debug);
+								buf.push('}');
+							}
+						}
+						{
+							let ty = types.get_type_by_id(*rhs);
+							if let Type::Constant(cst) = ty {
+								buf.push_str(&cst.as_js_string());
+							} else {
+								buf.push_str("${");
+								print_type_into_buf(*rhs, buf, cycles, args, types, info, debug);
+								buf.push('}');
+							}
+						}
+						buf.push('`');
+						return;
+					}
+				}
 				let base = get_constraint(ty, types).unwrap();
 				print_type_into_buf(base, buf, cycles, args, types, info, debug);
 			}