An experiment in static, refcounted, procedural language with ownership
1

Configure Feed

Select the types of activity you want to include in your feed.

remove spacing

r0nsha (Feb 26, 2024, 4:21 PM +0200) 2c12e8f0 0d4c584d

-1
-1
compiler_typeck/src/subst.rs
··· 78 78 79 79 fn fold_intvar(&mut self, var: IntVar) -> Ty { 80 80 let root = self.cx.storage.int.find(var); 81 - 82 81 self.cx.storage.int.probe_value(root).map_or_else(|| TyKind::DEFAULT_INT, Into::into).into() 83 82 } 84 83