the ^default place in carbon’s proposed ownership model, defined as “the set containing all places that aren’t named”, really has me hoping they add ^russell, “the set of all place sets that don’t contain themselves” (^places are similar to rust’s 'lifetimes, so the analogous concept in rust of 'default in a function signature would be a lifetime that contains all elided lifetimes... so like you could do fn<'a>(&'a u32, &u32, &u32) -> &'default u32 to say the the second and third params have to outlive the output..?)