Привет всем. Начал раст изучать и не до конца понимаю кое-что по лайфтаймам. Правильно ли я понимаю, что ф-цию new_borrow1 реализовать получится, а ф-цию new_borrow2 нет из-за...
Вопрос не по хаскелю, но хз как ещё найти инфу) Есть какие-нить группы в тг по coq'у?
Привет. Правильно ли я понимаю, что borrow_mut() небезопасен, когда есть референс на данные?
Короче, я понял, что там "магия" какая-то про которую я пока не знаю. Указатели типа у которых лайфтайма нет? pub struct NonNull<T: ?Sized> { pointer: *const T, }
Типа запаникует, если переместится указатель?
А как тогда такое реализуется?