Allow type inference to go through value aliasing
Allow type inference to go through value aliasing

sunfishcode/cretonne,sunfishcode/cretonne,stoklund/cretonne,sunfishcode/cretonne,stoklund/cretonne,stoklund/cretonne