@Nullable
 public static JetType updateRecordedType(
     @Nullable JetType type,
     @NotNull JetExpression expression,
     @NotNull BindingTrace trace,
     boolean shouldBeMadeNullable) {
   if (type == null) return null;
   if (shouldBeMadeNullable) {
     type = TypeUtils.makeNullable(type);
   }
   trace.recordType(expression, type);
   return type;
 }