Fixed: inner type inference is not overwritten by outer type inference