@Peiming Could you elaborate a bit on the use-cases for default inferred parameters? I canβt think of where this would be helpful aside from places like comptime ImmPointer = Pointer[_], where I would expect to use comptime ImmPointer = Pointer[mut = False, _] instead. Is there somewhere aside from βwrite onceβ type aliases I should expect to want this?