p
(при условии что он реализует Dependency)
Size: a a a
2020 October 29
p
ладно просто исправлю и все
p
будет слишком неявно уже
ΑZ
ты получишь Service
так стопэ
ΑZ
а если Service это Box<dyn Foo> то что я получу?
ΑZ
если в приложении два типа которые имплементят его
p
а если Service это Box<dyn Foo> то что я получу?
ну Box<dyn Foo> нужно добавлять через другой метод для которого ты явно указываешь реализацию
p
вот так
ΑZ
А если я не вызову такой метод?
ΑZ
короч получается когда у тебя есть единственный тип который резолвится то чтобы получить его из контейнера тебе не надо его регистрирвоать, я правильно понял?
ΑZ
а в остальных случаях нормальные ошибки?
p
короч получается когда у тебя есть единственный тип который резолвится то чтобы получить его из контейнера тебе не надо его регистрирвоать, я правильно понял?
да
p
а в остальных случаях нормальные ошибки?
да
ΑZ
ну хз, звучит на самом деле интересно
ΑZ
я бы наверное оставил так
p
блин как не хватает формальных правил вывода типов раста
p
не могу понять почему раст не выводит тип
p
@Psilon у меня сомнения что моя библиотека будет юзабельной лол
p
Переслано от polunin.ai
error[E0277]: the trait bound
--> tests\add_instance.rs:24:44
|
24 | let controller: Controller = container.resolve();
| ^^^^^^^ the trait
|
= note: required because of the requirements on the impl of
= note: required because of the requirements on the impl of
teloc::ServiceProvider<teloc::frunk::HCons<teloc::TransientContainerElem<Controller>, teloc::frunk::HCons<teloc::InstanceContainerElem<ConstService>, teloc::frunk::HNil>>>: teloc::Get<'_, _, ConstService, teloc::ServiceProvider<teloc::frunk::HCons<teloc::TransientContainerElem<Controller>, teloc::frunk::HCons<teloc::InstanceContainerElem<ConstService>, teloc::frunk::HNil>>>, _, _> is not satisfied--> tests\add_instance.rs:24:44
|
24 | let controller: Controller = container.resolve();
| ^^^^^^^ the trait
teloc::Get<'_, _, ConstService, teloc::ServiceProvider<teloc::frunk::HCons<teloc::TransientContainerElem<Controller>, teloc::frunk::HCons<teloc::InstanceContainerElem<ConstService>, teloc::frunk::HNil>>>, _, _> is not implemented for teloc::ServiceProvider<teloc::frunk::HCons<teloc::TransientContainerElem<Controller>, teloc::frunk::HCons<teloc::InstanceContainerElem<ConstService>, teloc::frunk::HNil>>>|
= note: required because of the requirements on the impl of
teloc::GetDependencies<'_, teloc::frunk::HCons<ConstService, teloc::frunk::HNil>, (teloc::frunk::HCons<_, teloc::frunk::HNil>, teloc::frunk::HCons<_, teloc::frunk::HNil>, teloc::frunk::HCons<_, teloc::frunk::HNil>)> for teloc::ServiceProvider<teloc::frunk::HCons<teloc::TransientContainerElem<Controller>, teloc::frunk::HCons<teloc::InstanceContainerElem<ConstService>, teloc::frunk::HNil>>>= note: required because of the requirements on the impl of
teloc::Get<'_, teloc::TransientContainerElem<Controller>, Controller, teloc::ServiceProvider<teloc::frunk::HCons<teloc::TransientContainerElem<Controller>, teloc::frunk::HCons<teloc::InstanceContainerElem<ConstService>, teloc::frunk::HNil>>>, teloc::frunk::indices::Here, (teloc::frunk::HCons<ConstService, teloc::frunk::HNil>, (teloc::frunk::HCons<_, teloc::frunk::HNil>, teloc::frunk::HCons<_, teloc::frunk::HNil>, teloc::frunk::HCons<_, teloc::frunk::HNil>))> for teloc::ServiceProvider<teloc::frunk::HCons<teloc::TransientContainerElem<Controller>, teloc::frunk::HCons<teloc::InstanceContainerElem<ConstService>, teloc::frunk::HNil>>>p