Merge "Quick: Separate null check elimination and type inference."