fix: type variables by default should have Any kind (#6203)

# Description

## Problem

Resolves #6202

## Summary

Or maybe this isn't the fix. 

On top of `Kind::Normal` it says:

```
    /// Can bind to any type, except Type::Constant and Type::InfixExpr
    Normal,
```

Does that exclude numeric generics? If not, then maybe the fix is
somewhere else 🤔

## Additional Context



## Documentation

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

compiler/noirc_frontend/src/hir_def/types.rs

@@ -881,7 +881,7 @@ impl Type {
     }
 
     pub fn type_variable(id: TypeVariableId) -> Type {
-        let var = TypeVariable::unbound(id, Kind::Normal);
+        let var = TypeVariable::unbound(id, Kind::Any);
         Type::TypeVariable(var)
     }
 

compiler/noirc_frontend/src/tests/turbofish.rs

@@ -196,3 +196,21 @@ fn turbofish_in_struct_pattern_generic_count_mismatch() {
     assert_eq!(*expected, 1);
     assert_eq!(*found, 2);
 }
+
+#[test]
+fn numeric_turbofish() {
+    let src = r#"
+    struct Reader<let N: u32> {
+    }
+
+    impl<let N: u32> Reader<N> {
+        fn read<let C: u32>(_self: Self) {}
+    }
+
+    fn main() {
+        let reader: Reader<1234> = Reader {};
+        let _ = reader.read::<1234>();
+    }
+    "#;
+    assert_no_errors(src);
+}