"scala.reflect.macros.TypecheckException: not found" when importing a member

Đang mở

#123 mở ngày 12/12/2017 1 bình luận 3 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó: 4/5
Thời gian dự kiến: 3-5 ngày
Mức phù hợp với người mới: 35/100

Loại issue: Lỗi
Độ rõ ràng: Khá rõ ràng
Mức độ hoạt động: Đình trệ
Công nghệ: scala
Lĩnh vực: backend

Hướng nghiên cứu

Trước tiên, hãy tái hiện ví dụ MacwireTest tối thiểu, sau đó lần theo lỗi được báo cáo từ TypeCheckUtil.scala:58 qua EligibleValuesFinder.scala:224 và đường dẫn wire trong ConstructorCrimper.scala. Xác định lý do việc import cow.udders khiến macro không thể phân giải udders, thêm một bài kiểm thử hồi quy cho ví dụ và xác minh rằng quá trình biên dịch thành công.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

Failing example (slightly realistic for motivation)

This is vaguely what I want to do:

import akka.actor.ActorSystem
import akka.stream.{ActorMaterializer, Materializer}
import com.softwaremill.macwire._

class MaterializerModule(actorSystem: ActorSystem) {

  implicit val materializer: Materializer = ActorMaterializer()(actorSystem)
}

class Service(implicit mat: Materializer)

class ServiceModule {

  implicit lazy val actorSystem: ActorSystem = ActorSystem()
  lazy val materializerModule: MaterializerModule = wire[MaterializerModule]

  import materializerModule.materializer // into normal scala implicit scope.

  lazy val service: Service = wire[Service]
}

Compiler error:

Error:(17, 57) exception during macro expansion: 
scala.reflect.macros.TypecheckException: not found: value materializer
	at scala.reflect.macros.contexts.Typers$$anonfun$typecheck$2$$anonfun$apply$1.apply(Typers.scala:34)
	at scala.reflect.macros.contexts.Typers$$anonfun$typecheck$2$$anonfun$apply$1.apply(Typers.scala:28)
	at scala.reflect.macros.contexts.Typers$$anonfun$3.apply(Typers.scala:24)
	at scala.reflect.macros.contexts.Typers$$anonfun$3.apply(Typers.scala:24)
	at scala.reflect.macros.contexts.Typers$$anonfun$withContext$1$1.apply(Typers.scala:25)
	at scala.reflect.macros.contexts.Typers$$anonfun$withContext$1$1.apply(Typers.scala:25)
	at scala.reflect.macros.contexts.Typers$$anonfun$1.apply(Typers.scala:23)
	at scala.reflect.macros.contexts.Typers$$anonfun$1.apply(Typers.scala:23)
	at scala.reflect.macros.contexts.Typers$class.withContext$1(Typers.scala:25)
	at scala.reflect.macros.contexts.Typers$$anonfun$typecheck$2.apply(Typers.scala:28)
	at scala.reflect.macros.contexts.Typers$$anonfun$typecheck$2.apply(Typers.scala:28)
	at scala.reflect.macros.contexts.Typers$class.withWrapping$1(Typers.scala:26)
	at scala.reflect.macros.contexts.Typers$class.typecheck(Typers.scala:28)
	at scala.reflect.macros.contexts.Context.typecheck(Context.scala:6)
	at scala.reflect.macros.contexts.Context.typecheck(Context.scala:6)
	at com.softwaremill.macwire.internals.TypeCheckUtil.typeCheckExpressionOfType(TypeCheckUtil.scala:58)
	at com.softwaremill.macwire.internals.TypeCheckUtil.typeCheckIfNeeded(TypeCheckUtil.scala:34)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues$$anonfun$16.apply(EligibleValuesFinder.scala:224)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues$$anonfun$16.apply(EligibleValuesFinder.scala:224)
	at scala.Option.getOrElse(Option.scala:121)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues.put(EligibleValuesFinder.scala:224)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues$$anonfun$putAll$1.apply(EligibleValuesFinder.scala:215)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues$$anonfun$putAll$1.apply(EligibleValuesFinder.scala:214)
	at scala.collection.LinearSeqOptimized$class.foldLeft(LinearSeqOptimized.scala:124)
	at scala.collection.immutable.List.foldLeft(List.scala:84)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues.putAll(EligibleValuesFinder.scala:214)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$$anonfun$9.apply(EligibleValuesFinder.scala:109)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$$anonfun$9.apply(EligibleValuesFinder.scala:94)
	at com.softwaremill.macwire.internals.Logger.withBlock(Logger.scala:15)
	at com.softwaremill.macwire.internals.EligibleValuesFinder.com$softwaremill$macwire$internals$EligibleValuesFinder$$doFind$1(EligibleValuesFinder.scala:94)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$$anonfun$find$2.apply(EligibleValuesFinder.scala:122)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$$anonfun$find$2.apply(EligibleValuesFinder.scala:121)
	at com.softwaremill.macwire.internals.Logger.withBlock(Logger.scala:15)
	at com.softwaremill.macwire.internals.EligibleValuesFinder.find(EligibleValuesFinder.scala:120)
	at com.softwaremill.macwire.internals.DependencyResolver.eligibleValues$lzycompute(DependencyResolver.scala:13)
	at com.softwaremill.macwire.internals.DependencyResolver.eligibleValues(DependencyResolver.scala:13)
	at com.softwaremill.macwire.internals.DependencyResolver.resolve(DependencyResolver.scala:21)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$wireConstructorParams$1$$anonfun$apply$10.apply(ConstructorCrimper.scala:56)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$wireConstructorParams$1$$anonfun$apply$10.apply(ConstructorCrimper.scala:56)
	at scala.collection.immutable.List.map(List.scala:284)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$wireConstructorParams$1.apply(ConstructorCrimper.scala:56)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$wireConstructorParams$1.apply(ConstructorCrimper.scala:56)
	at scala.collection.immutable.List.map(List.scala:284)
	at com.softwaremill.macwire.internals.ConstructorCrimper.wireConstructorParams(ConstructorCrimper.scala:56)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorArgs$2$$anonfun$apply$7.apply(ConstructorCrimper.scala:48)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorArgs$2$$anonfun$apply$7.apply(ConstructorCrimper.scala:48)
	at scala.Option.map(Option.scala:146)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorArgs$2.apply(ConstructorCrimper.scala:48)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorArgs$2.apply(ConstructorCrimper.scala:48)
	at com.softwaremill.macwire.internals.Logger.withBlock(Logger.scala:15)
	at com.softwaremill.macwire.internals.ConstructorCrimper.constructorArgs$lzycompute(ConstructorCrimper.scala:47)
	at com.softwaremill.macwire.internals.ConstructorCrimper.constructorArgs(ConstructorCrimper.scala:47)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorTree$2.apply(ConstructorCrimper.scala:53)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorTree$2.apply(ConstructorCrimper.scala:51)
	at com.softwaremill.macwire.internals.Logger.withBlock(Logger.scala:15)
	at com.softwaremill.macwire.internals.ConstructorCrimper.constructorTree$lzycompute(ConstructorCrimper.scala:51)
	at com.softwaremill.macwire.internals.ConstructorCrimper.constructorTree(ConstructorCrimper.scala:51)
	at com.softwaremill.macwire.MacwireMacros$.wire_impl(MacwireMacros.scala:27)
  lazy val materializerModule: MaterializerModule = wire[MaterializerModule]

Minimal failing example (for narrowing the problem)

Given some classes (no implicits this time):

class Grass
class Udders
class Cow(grass: Grass) {
  val udders: Udders = new Udders
}

object MacwireTest {

  import com.softwaremill.macwire._

  val grass: Grass = new Grass
  val cow: Cow = wire[Cow]

  import cow.udders // Fails here.
}

Compiler error:

Error:(18, 22) exception during macro expansion: 
Error:(13, 22) exception during macro expansion: 
scala.reflect.macros.TypecheckException: not found: value udders
	at scala.reflect.macros.contexts.Typers$$anonfun$typecheck$2$$anonfun$apply$1.apply(Typers.scala:34)
	at scala.reflect.macros.contexts.Typers$$anonfun$typecheck$2$$anonfun$apply$1.apply(Typers.scala:28)
	at scala.reflect.macros.contexts.Typers$$anonfun$3.apply(Typers.scala:24)
	at scala.reflect.macros.contexts.Typers$$anonfun$3.apply(Typers.scala:24)
	at scala.reflect.macros.contexts.Typers$$anonfun$withContext$1$1.apply(Typers.scala:25)
	at scala.reflect.macros.contexts.Typers$$anonfun$withContext$1$1.apply(Typers.scala:25)
	at scala.reflect.macros.contexts.Typers$$anonfun$1.apply(Typers.scala:23)
	at scala.reflect.macros.contexts.Typers$$anonfun$1.apply(Typers.scala:23)
	at scala.reflect.macros.contexts.Typers$class.withContext$1(Typers.scala:25)
	at scala.reflect.macros.contexts.Typers$$anonfun$typecheck$2.apply(Typers.scala:28)
	at scala.reflect.macros.contexts.Typers$$anonfun$typecheck$2.apply(Typers.scala:28)
	at scala.reflect.macros.contexts.Typers$class.withWrapping$1(Typers.scala:26)
	at scala.reflect.macros.contexts.Typers$class.typecheck(Typers.scala:28)
	at scala.reflect.macros.contexts.Context.typecheck(Context.scala:6)
	at scala.reflect.macros.contexts.Context.typecheck(Context.scala:6)
	at com.softwaremill.macwire.internals.TypeCheckUtil.typeCheckExpressionOfType(TypeCheckUtil.scala:58)
	at com.softwaremill.macwire.internals.TypeCheckUtil.typeCheckIfNeeded(TypeCheckUtil.scala:34)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues$$anonfun$16.apply(EligibleValuesFinder.scala:224)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues$$anonfun$16.apply(EligibleValuesFinder.scala:224)
	at scala.Option.getOrElse(Option.scala:121)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues.put(EligibleValuesFinder.scala:224)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues$$anonfun$putAll$1.apply(EligibleValuesFinder.scala:215)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues$$anonfun$putAll$1.apply(EligibleValuesFinder.scala:214)
	at scala.collection.LinearSeqOptimized$class.foldLeft(LinearSeqOptimized.scala:124)
	at scala.collection.immutable.List.foldLeft(List.scala:84)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$EligibleValues.putAll(EligibleValuesFinder.scala:214)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$$anonfun$9.apply(EligibleValuesFinder.scala:109)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$$anonfun$9.apply(EligibleValuesFinder.scala:94)
	at com.softwaremill.macwire.internals.Logger.withBlock(Logger.scala:15)
	at com.softwaremill.macwire.internals.EligibleValuesFinder.com$softwaremill$macwire$internals$EligibleValuesFinder$$doFind$1(EligibleValuesFinder.scala:94)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$$anonfun$find$2.apply(EligibleValuesFinder.scala:122)
	at com.softwaremill.macwire.internals.EligibleValuesFinder$$anonfun$find$2.apply(EligibleValuesFinder.scala:121)
	at com.softwaremill.macwire.internals.Logger.withBlock(Logger.scala:15)
	at com.softwaremill.macwire.internals.EligibleValuesFinder.find(EligibleValuesFinder.scala:120)
	at com.softwaremill.macwire.internals.DependencyResolver.eligibleValues$lzycompute(DependencyResolver.scala:13)
	at com.softwaremill.macwire.internals.DependencyResolver.eligibleValues(DependencyResolver.scala:13)
	at com.softwaremill.macwire.internals.DependencyResolver.resolve(DependencyResolver.scala:21)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$wireConstructorParams$1$$anonfun$apply$10.apply(ConstructorCrimper.scala:56)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$wireConstructorParams$1$$anonfun$apply$10.apply(ConstructorCrimper.scala:56)
	at scala.collection.immutable.List.map(List.scala:284)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$wireConstructorParams$1.apply(ConstructorCrimper.scala:56)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$wireConstructorParams$1.apply(ConstructorCrimper.scala:56)
	at scala.collection.immutable.List.map(List.scala:284)
	at com.softwaremill.macwire.internals.ConstructorCrimper.wireConstructorParams(ConstructorCrimper.scala:56)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorArgs$2$$anonfun$apply$7.apply(ConstructorCrimper.scala:48)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorArgs$2$$anonfun$apply$7.apply(ConstructorCrimper.scala:48)
	at scala.Option.map(Option.scala:146)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorArgs$2.apply(ConstructorCrimper.scala:48)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorArgs$2.apply(ConstructorCrimper.scala:48)
	at com.softwaremill.macwire.internals.Logger.withBlock(Logger.scala:15)
	at com.softwaremill.macwire.internals.ConstructorCrimper.constructorArgs$lzycompute(ConstructorCrimper.scala:47)
	at com.softwaremill.macwire.internals.ConstructorCrimper.constructorArgs(ConstructorCrimper.scala:47)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorTree$2.apply(ConstructorCrimper.scala:53)
	at com.softwaremill.macwire.internals.ConstructorCrimper$$anonfun$constructorTree$2.apply(ConstructorCrimper.scala:51)
	at com.softwaremill.macwire.internals.Logger.withBlock(Logger.scala:15)
	at com.softwaremill.macwire.internals.ConstructorCrimper.constructorTree$lzycompute(ConstructorCrimper.scala:51)
	at com.softwaremill.macwire.internals.ConstructorCrimper.constructorTree(ConstructorCrimper.scala:51)
	at com.softwaremill.macwire.MacwireMacros$.wire_impl(MacwireMacros.scala:27)
  val cow: Cow = wire[Cow]

Notes

macwire v2.3.0
scala 2.11

Ngôn ngữ chính: Scala
Star: 1.3k
Fork: 77
Merge trung bình: 9 phút
Pull request đã merge (30 ngày): 4

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Bắt đầu từ đâu

Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
Fork repository và làm thay đổi trên một nhánh.
Mở pull request có tham chiếu số hiệu của issue.

Issue khác của softwaremill/macwire

java.lang.NoSuchMethodError after adding a parameter Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

softwaremill/macwire#412 · 3 bình luận · Mở ngày 28/8/2025
wire doesn't work with abstract effect type Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

softwaremill/macwire#391 · 1 bình luận · Mở ngày 30/3/2025
macrosakka Pekko alternative Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

softwaremill/macwire#301 · 2 bình luận · Mở ngày 17/8/2023
Ref #273 Need help for `Effect Type`'s Injection Đang mở

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

softwaremill/macwire#281 · 5 bình luận · Mở ngày 15/3/2023
Used variable for instantiation differs in Scala 3 Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

softwaremill/macwire#278 · 3 bình luận · Mở ngày 10/2/2023

Tất cả issue của softwaremill/macwire

Issue tương tự

Docs source changed: docs/uses/sidechains/subblocks.md Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 62/100

ergoplatform/ergodocs#614 · Mở ngày 21/9/2026
ci: retry the Spark test pre-compile step when sbt fails to resolve dependencies Đang mở

area:ci enhancement requires-triage

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100

apache/datafusion-comet#6078 · Mở ngày 21/9/2026
isSink folds an operator type with the browser's locale Đang mở

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100

apache/texera#8616 · Mở ngày 20/9/2026
[VL] madvise(WILLNEED) call fails in MmapFileStream because of wrong calculation of fetching length Đang mở

bug triage

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100

apache/gluten#13062 · Mở ngày 20/9/2026
NonBlockingDCache ignores two legal L1 D-TLB geometry parameters Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100

chipsalliance/rocket-chip#3831 · Mở ngày 20/9/2026

Thêm issue về Scala