Surprisingly the code below works because apparently calling a function searches the scopes for a function that matches:
let min = 1000;
min = min(min, 5);
print(min);
Considering this the following example is even more surprising since it gives a borrowchecker error:
let min = 1000;
min min= 5;
print(min);