Gitly


1 fn type_name_of[U]() string {
2     return typeof[U]().name
3 }
4 
5 fn pointee_name[T](val T) string {
6     _ = val
7     $if T is &V {
8         return type_name_of[V]()
9     } $else {
10         return typeof[T]().name
11     }
12 }
13 
14 fn test_comptime_if_pointer_binding() {
15     x := 123
16     px := &x
17     ppx := &px
18     assert pointee_name(px) == 'int'
19     assert pointee_name(ppx) == '&int'
20 }
21

1	fn type_name_of[U]() string {
2	return typeof[U]().name
3	}
4
5	fn pointee_name[T](val T) string {
6	_ = val
7	$if T is &V {
8	return type_name_of[V]()
9	} $else {
10	return typeof[T]().name
11	}
12	}
13
14	fn test_comptime_if_pointer_binding() {
15	x := 123
16	px := &x
17	ppx := &px
18	assert pointee_name(px) == 'int'
19	assert pointee_name(ppx) == '&int'
20	}
21