= 0, d = 0.1, t _t = s.t, co = E_L_E)
if (_p= self.p).is_a?(P)
return if _p.idle?
...
end
end
Код сверху выдает такую ошибку
66 | return if _p.idle?
^---------------
Error: undefined method 'idle?' for Nil (compile-time type is (P | Nil))
self.p это delegate p, to: t
Он действительно может быть Nil. Но я же явно его присвоил и проверил тип в if quard,. Как он может быть Nil в этом случае и как написать, чтобы было компилятор правильно вывел тип?
p.not_nil!.idle? Попробуй
Уже пару лет прошло как я писал на Кристал, а это странное поведение до сих пор присутствует, что несмотря на гарды он думает про Нил
Вот так верни и посмотри
еще раз. Я делаю как в документации, где явно написано что в конструкции if a = @a # here `a` can't be nil end
Значение в @a до этого положили, а ты говоришь что у тебя там может быть nil
У меня нет как такогового @p. Это delegate на метод, который может вернуть nil
у тебя тут в условии нет проверки что _p не nil, по этому конпелятор не может применить метод который в доке, который сравнение результата присвоения. Там в отличии от твоего кода, сравнивается результат выражения (a = @a), а у тебя сравнивается результат выражения <exp>.is_a?(P)
если я правильно понял ты хочешь вот так https://play.crystal-lang.org/#/r/g4mh
Обсуждают сегодня