流：日期与字符串不兼容

Question

import is from "is_js";
function handle_date_string(dateObj: Date | string): string {
  const result = is.date(dateObj) ? dateObj.toDateString() : dateObj;
  return result;
}

此函数的作用-如果收到Date对象，则将其转换为日期字符串，否则传递接收的字符串。
Flow报告这些错误：

  

错误：（21，45）无法调用dateObj.toDateString，因为toDateString [1]中缺少属性String。
  错误：（22，10）无法返回result，因为Date [1]与字符串[2]不兼容。

Answer 1

Flow不能推断#include<Servo.h> Servo servo; int pirPin = 2; int state = LOW; void setup() { Serial.begin(115200); servo.attach(13); servo.write(30); pinMode(pirPin, INPUT); } void loop(){ if(digitalRead(pirPin) == HIGH) { if (state == LOW) { Serial.println("Motion detected"); int angle; servo.write(90); delay(1000); state = HIGH; } } else { if (state == HIGH){ Serial.println("Motion not detected"); servo.write(90); state = LOW; } } } 保证第一个分支中的is.date()将是dateObj对象。而是使用Date。